π演算的Petri网语义研究
来源期刊：控制与决策2007年第8期
论文作者：于振华 蔡远利 徐海平
文章页码：864 - 868
关键词：π演算;Petri网;并发;结构特性;分析;
摘 要：为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种基本结构,分别映射为Petri网,然后复合构成复杂的系统.π演算的Petri网语义可形象地描述系统的物理结构和动态行为,可直接从模型网络结构上定性分析系统的性质.最后,利用该方法将移动汽车网络的π演算模型映射为Petri网,验证了方法的有效性.
于振华，蔡远利，徐海平
摘 要：为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种基本结构,分别映射为Petri网,然后复合构成复杂的系统.π演算的Petri网语义可形象地描述系统的物理结构和动态行为,可直接从模型网络结构上定性分析系统的性质.最后,利用该方法将移动汽车网络的π演算模型映射为Petri网,验证了方法的有效性.
关键词：π演算;Petri网;并发;结构特性;分析;
