裴楚丘 swMATH编号： 4394 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 描述： π-演算中的结构平稳性理论事实证明，自动机理论表示在计算系统的自动精确分析中很有用。我们提出了一种新的π-演算过程到位置/转换Petri网的语义映射。我们的翻译利用了由受限名称创建的连接，即使对于具有无限名称和无限进程创建的进程，也可以生成有限网络。结构平稳性的特性表征了映射到有限网络的过程。我们使用新的特征函数提供了结构平稳性的精确条件。作为该理论的应用，我们确定了一类丰富的结构平稳过程，称为有限处理程序过程。我们的Petri网翻译有助于自动验证该类中建模的案例研究 主页： http://petruchio.informatik.uni-oldenburg.de/ 相关软件： MWB公司;SLMC公司;ByMC公司;风暴;MCMAS公司;棱镜;AGG公司;超小卫星;序曲工具;VDM工具;凹槽;皮克特;奶牛;莫德;ABC4EFT公司;Z轴;十字架;CLT公司;symrcm公司;组织环境信息系统 引用于： 16文件 更多出版物： http://petruchio.informatik.uni-oldenburg.de/33467.html 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 微积分中的结构平稳性理论。 Zbl 1165.68053号罗兰·迈耶 2009 使用网络展开验证移动系统的实用方法。 Zbl 1143.68460号罗兰·梅耶;维克托·科门科;蒂姆·斯特拉兹尼 2008 全部的 前5名被24位作者引用 7 罗兰·梅耶 4 维克托·科门科 2 罗伯托·戈里埃里 2 雷纳·Hüchting 2 蒂姆·斯特拉兹尼 1 露西娅·阿西艾 1 保罗·巴尔丹 1 阿尼尔班·巴塔查里亚 1 菲利波·邦奇 1 米歇尔·博雷尔 1 纳迪亚·布西 1 彼得·奇尼 1 伊曼纽尔·D’Osualdo 1 法比奥·加杜奇 1 安托万·格洛里亚 1 亚历山大·凯泽。 1 丹尼尔·科宁 1 Maria Martos-Salgado 1 C.·H·卢克·翁 1 Ken G.皮尔斯。 1 埃多尔多·皮罗瓦诺 1 费尔南多·罗莎·维拉尔多 1 普拉卡什·塞瓦桑 1 托马斯·瓦尔 全部的 前5名9篇连载文章中引用 2 信息与计算 1 信息学报 1 人工智能 1 计算 1 计算的形式方面 1 欧洲应用和工业数学系列（ESAIM）：论文集 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 在4个字段中引用 15 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 按年份列出的引文