π演算的Petri网语义研究

作者：于振华; 蔡远利; 徐海平

来源：控制与决策, 2007, 22(8).

DOI：10.3321/j.issn:1001-0920.2007.08.005

• π演算
• Petri网
• 并发
• 结构特性
• 分析

为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种基本结构,分别映射为Petri网,然后复合构成复杂的系统.π演算的Petri网语义可形象地描述系统的物理结构和动态行为,可直接从模型网络结构上定性分析系统的性质.最后,利用该方法将移动汽车网络的π演算模型映射为Petri网,验证了方法的有效性.

• 单位
  西安交通大学