π演算的Petri网语义研究  

On Petri nets semantics for π-calculus

作　　者：于振华[1] 蔡远利[1] 徐海平 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049 [2]马萨诸塞州立大学达特茅斯分校计算机与信息科学系,北达特茅斯02747

出　　处：《控制与决策》2007年第8期864-868,共5页Control and Decision

基　　金：国家863计划项目(2003AA721070)

摘　　要：为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种基本结构,分别映射为Petri网,然后复合构成复杂的系统.π演算的Petri网语义可形象地描述系统的物理结构和动态行为,可直接从模型网络结构上定性分析系统的性质.最后,利用该方法将移动汽车网络的π演算模型映射为Petri网,验证了方法的有效性.In order to remedy the deficiencies of π-calculus, π-calculus is mapped into Petri nets. π-calculus is divided into the basic elements, sequence, concurrency, choice and recursive modules. These modules are mapped into Petri nets respectively, which construct a complicated system. Petri nets semantics for π-calculus visually describe system structure as well as system behaviors, and the qualitative analysis of properties is proved directly on the structure of the nets. Finally, the mobile car network is used to show how the π-calculus model is mapped into Petri nets.

关 键 词：Π演算 PETRI网 并发 结构特性 分析 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]