资源描述：
《π-网的强互模拟等价》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第28卷 第1期计 算 机 学 报Vol.28No.12005年1月CHINESEJOURNALOFCOMPUTERSJan.2005π2网的强互模拟等价1),2)1)曹木亮 吴智铭1)(上海交通大学电子信息学院 上海 200030)2)(桂林陆军学院 桂林 541002)摘 要 该文建立了π2网的强互模拟等价关系,对π2网的结构作了进一步的研究.π2网是一类新型的基于π2演算语义的模块化高级Petri网,是对两类并发模型Petri网和π2演算的有效结合,它的并发语义既是“真正并发”的又是“
2、交互”的.π2网的强互模拟等价是针对π2网的交互性并发语义的,是基于π2网的标号操作语义规则,并直接用π2网作为计算单元来实现的互模拟计算,使得π2网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π2网N,都存在一个π2进程P,在π2网与π2演算系统等价映射Ψ下,Ψ(N)与N是强互模拟的这一重要的结论.关键词π2网;π2演算;标号操作规则;强互模拟等价中图法分类号TP301TheStrongBisimilarityontheπ2Nets1),2)1)CAOMu2LiangWUZhi2M
3、ing1()SchoolofElectronicandInformationEngineering,ShanghaiJiaoTongUniversity,Shanghai200030)2()GuilinMilitaryInstitute,Guilin541002)AbstractThispaperbuildsupthestrongbisimilarityonπ2nets.π2netisanewmodularhigh2levelPetrinetbasedonthesemanticsoftheπ2calc
4、uluswhichcombinestheadvantagesofPetrinetandtheπ2calculus.Theconcurrencysemanticsofπ2netsisnotonly“trueconcurrency”butalso“interleaving”.Thestrongbisim2ilarityonπ2netsaddressesthestudyofitsinterleavingsemantics.Differingfromtheotherapproachofstrongbisimi
5、larityonstandardPetrinets,thebisimilarityonπ2netsisbasedonthelabelingoperationalrulesofπ2nets,andcomputedstraightlybyπ2netsthemselvesinsteadofmarkings.Itisshownthatforanyπ2net,thereisaprocessPsuchthatΨ(P)isbisimilaritytoN,whereΨisthesystemequivalencefro
6、mπ2calcu2lustoπ2nets.Keywordsπ2net;π2calculus;labelingoperationalrules;strongbisimilarity算.本文中我们将建立π2网的强互模拟等价关系,1 引 言进一步从“迹”(或者说是从变迁激发序列)的角度来讨论π2网的结构问题.因为π2网是将Petri网和π2在文献[1],我们构造了一类新型的基于π2演演算这两类并发模型进行有机的结合而得到的一种[2,3]算语义的模块化的高级Petri网,称之为π2网,并发机制,所以π2网的并
7、发语义不仅是“真正并发”并建立了π2网的标号操作语义规则,这些语义规则的,同时也是“交互”的,其“真正并发”的语义已经从π2有效地将π2网变迁的激发变成了可操作的代数运网是一类特殊的高级Petri网得到了直观的体现,而“交收稿日期:2003206213;修改稿收到日期:2004210210.本课题得到国家自然科学基金(60074011,70071017)资助.曹木亮,男,1966年生,博士研究生,副教授,主要研究方向为Petri网、π2演算、密码学.E2mail:ml-cao@163.com.吴智铭,
8、男,1937年生,教授,博士生导师,主要研究方向为离散事件系统、混杂动态系统以及它们在工业中的应用.©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.2计 算 机 学 报2005年©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.1期曹木亮等:π2网的强互模拟等价3©1995-2005Tsingh
