Petri网和Pi演算模型的表达能力.pdfVIP

专题 第 5 卷 第 10 期 2009 年 10 月 Petri网和Pi演算模型的 表达能力 郭小群 郝克刚 关键词 ：Petri 网 Pi演算 表达能力 西北大学 引言 用演算中的归约来表示由进程间相互作用形成 的动态演化。P i演算中最简单的实体是名字， 随着面 向服务 的计算 （S e r v i c e - 进程间可以将名字沿通道进行传送。由于被传 Oriented Computing ，SOC/Service-Oriented 送的名字可以是通信通道的名字，因此P i演算 A r c h i t e c t u r e ，S O A ）技术和业务流程管理 能够表达松散的动态耦合系统，比如移动通信 （Business Process Management ，BPM ）技术 系统等。而对于Petr i 网模型，由于其位置和转 的发展，不少学者开始使用P e t r i 网和P i演算 移的连接是固定的，很难用于表述松散的动态 π （-calculus ）模型作为服务组合和业务流程技 耦合系统。关于P etr i 网和Pi演算这两个模型表 [6~ 11] 术的理论基础 。但是究竟哪个模型更好更 达能力关系的研究，目前已有一些成果，下面 合适，则存在很大争议，由此也引起学术界对 将进行简单介绍。 这两个模型在表达能力 （Expressiveness ）方面 的关系和差异进行了探讨与研究。 Petri网某些子集的表达 [3 ～5] P et r i 网 是面向并行系统建模的一种非 常好的形式化模型。一方面，Petr i 网可以采用 我们把P etr i 网的位置和转移用Pi演算中的 图形进行表示，另一方面，它又有严格的数学 进程表示，把位置和转移之间的联系关系表示 定义可以进行一系列系统属性分析。 为通信通道。采用这种表示法，Petr i 网的某些 P i演算[1 ～2]起源于20世纪80年代末，由图 子集可以直接用Pi演算表达[13] 。 灵奖得主罗宾 ·米尔纳 （Robin Milner ）提出。 定理1. 容量不限的不加权的S- 网系统、 自 它是一种描述和分析并发系统的演算模型，采 由选择 网系统可以用Pi演算表达。 定理2. 容量不限允许加权的T 网系统可以 用Pi演算表达。 业务过程 业务流程管 面向服务 执行语言 理工作流 关于用P i演算的表达方法仅用下面的例子 的计算 加以简单说明。 阿尔斯特 （Wil van der Aalst ）在文献[11] 中给提倡使用Pi演算的人提出了7个挑战。其中