π-网的强互模拟等价

• 作者: 吴智铭 曹木亮
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: π-网 π-演算 标号操作规则 强互模拟等价
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1-8
• 页数: 8页
• 分类号: TP301
• 字数: 8126字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2005.01.001

摘要

该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π-演算系统等价映射Ψ下,Ψ(N)与N是强互模拟的这一重要的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴智铭	上海交通大学电子信息学院	121	2157	27.0	41.0
2	曹木亮	上海交通大学电子信息学院	4	24	2.0	4.0