| Pi+演算及其对Petri网的表达 |
| |
| 引用本文： | 郝克刚,郭小群,李向宁.Pi+演算及其对Petri网的表达[J].计算机学报,2011,34(2):193-203. |
| |
| 作者姓名： | 郝克刚 郭小群 李向宁 |
| |
| 作者单位： | 1. 西北大学信息科学与技术学院,西安,710069
2. 西安电子科技大学电子装备结构实验室,西安,710071 |
| |
| 基金项目： | 国家十一五“八六三”高技术研究发展计划重点项目基金(2007AA010305)资助 |
| |
| 摘 要： | 为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用P...
|
| 关 键 词： | Petri网 Pi演算 π演算 表达能力 业务过程管理 |
The Pi+ Calculus-An Extension of the Pi Calculus for Expressing Petri Nets |
| |
| HAO Ke-Gang,GUO Xiao-Qun,LI Xiang-Ning.The Pi+ Calculus-An Extension of the Pi Calculus for Expressing Petri Nets[J].Chinese Journal of Computers,2011,34(2):193-203. |
| |
| Authors: | HAO Ke-Gang GUO Xiao-Qun LI Xiang-Ning |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
