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

机 学 报 No．2 第34卷第2期 计 算 v01．34 2011年2月 CHINESE OFCOMPUTERS Feb．2011 JOURNAL Pi+演算及其对Petri网的表达 郝克刚 郭小群1’ 李向宁幻 ”(西北大学信息科学与技术学院 西安710069) 2’(西安电子科技大学电子装备结构实验室 西安 710071) 摘 要 为了研究Pi演算模型的表达能力，作者用它来表达Petri网系统，证明了Petri网的某些子类．如自由选择 网等，可以直接用Pi演算表达．然『『ii对于一般的Petri网。表达却遇到了困难．文中提出了一种对Pi演算的扩展。称 为Pi+演算，在原有Pi演算的通信机制中增加了多原语同步通信机制．证明了所有一般Petri网系统均可以用Pi+ 演算表达． 关键词Petri网；Pi演算；丌演算；表达能力I业务过程管理 中图法分类号TP393 DOI号：10．3724／SP．J．1016．2011．00193 ExtensionofthePiCalculusfor PetriNets ThePi+Calculus—An Expressing HAO GUO Ke—Gan91’ Xiao—Qunl’LIXiang—Nin92’ ”(School Scienceand 710069) ofInformation Technology．NorthtvestUniversity．Xian Electronic Structure，Xidian 710071) 2’(LaboratoryofEquipment University。Xian ofPi useitto PetriNet It AbstractTo the calculus，we systems． studyexpressiveness express i8 thatsomeSOb-classesofPetrinetscanbe inPicalculus．However， proved directlyexpressed for Net turnsouttobe extensionofthePicalcu- Petri difficult．Therefore，an general systems，it lUS，namedPi+calculus，isintroduced a communication byaddingmulti—primitivesynchronized mechanismtotheoneof Picalculus．This thatall Petrinet original paperproves general systems canbe