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

The Pi^+ Calculus——An Extension of the Pi Calculus for Expressing Petri Nets

作　　者：郝克刚[1] 郭小群[1] 李向宁[2] 

机构地区：[1]西北大学信息科学与技术学院,西安710069 [2]西安电子科技大学电子装备结构实验室,西安710071

出　　处：《计算机学报》2011年第2期193-203,共11页Chinese Journal of Computers

基　　金：国家十一五"八六三"高技术研究发展计划重点项目基金(2007AA010305)资助

摘　　要：为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用Pi+演算表达.To study the expressiveness of Pi calculus,we use it to express Petri Net systems.It is proved that some sub-classes of Petri nets can be directly expressed in Pi calculus.However,for general Petri Net systems,it turns out to be difficult.Therefore,an extension of the Pi calculus,named Pi＋calculus,is introduced by adding a multi-primitive synchronized communication mechanism to the one of original Pi calculus.This paper proves that all general Petri net systems can be expressed in Pi＋Calculus.

关 键 词：PETRI网 PI演算 Π演算 表达能力 业务过程管理 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]