k-选择网和Pi演算的表达能力

• 作者: 李向宁 郝克刚 郭小群
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Pi演算 Petri网 自由选择网 表达
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机理论
• 页码范围: 1261-1266
• 页数: 6页
• 分类号: TP393
• 字数: 5201字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01261

摘要

文中定义了Petri网的一子类系列:k-选择网,它形成一个后类包含前类的Petri网子类的无穷序列,证明了此无穷序列的并集等于Petri网类,自由选择网是k=1的k-选择网,即1-选择网.在证明自由选择网系统可以用Pi演算表达的基础上,文中进一步证明了所有2-选择网系统可以用Pi演算表达.

作者信息

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