-
题名π-网的强互模拟等价
被引量：3
- 1
-
-
作者
曹木亮
吴智铭
-
机构
上海交通大学电子信息学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2005年第1期1-8,共8页
-
基金
国家自然科学基金 (60 0 740 11
70 0 710 17)资助 .
-
文摘
该文建立了π 网的强互模拟等价关系 ,对π 网的结构作了进一步的研究 .π 网是一类新型的基于π 演算语义的模块化高级Petri网 ,是对两类并发模型Petri网和π 演算的有效结合 ,它的并发语义既是“真正并发”的又是“交互”的 .π 网的强互模拟等价是针对π 网的交互性并发语义的 ,是基于π 网的标号操作语义规则 ,并直接用π 网作为计算单元来实现的互模拟计算 ,使得π 网的行为能够从动态和静态两方面得到考察 .该文证明了对于任意的一个π 网N ,都存在一个π 进程P ,在π 网与π 演算系统等价映射Ψ下 ,Ψ(N)与N是强互模拟的这一重要的结论 .
-
关键词
π-网
Π-演算
标号操作规则
强互模拟等价
-
Keywords
π-net
π-calculus
labeling operational rules
strong bisimilarity
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
