Pi+演算及其对Petri网的表达

• 作者: 李向宁 郝克刚 郭小群
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 Pi演算 π演算 表达能力 业务过程管理
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 193-203
• 分类号: TP393
• 字数: 13404字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00193

摘要

为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用Pi+演算表达.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝克刚	西北大学信息科学与技术学院	122	1609	23.0	34.0
2	郭小群	西北大学信息科学与技术学院	11	145	5.0	11.0
3	李向宁	西安电子科技大学电子装备结构实验室	7	81	4.0	7.0