π演算的petri网语义研究 on petri nets semantics for π-calculus.pdfVIP

第22卷第8期 控 制 与 2007年8月 V01．22No．8 Controland Aug．2007 文章编-q-；1001·0920(2007)08·0864—06 万演算的Petri网语义研究 于振华1，蔡远利1，徐海平2 (1．西安交通大学电子与信息工程学院．西安710049I 2．马萨诸塞 州立大学达特茅斯分校计算机与信息科学系，北达特茅斯02747) 摘 要。为弥补开演算的固有缺陷．提出一种将r演算映射为Petri网语义的方法．该方法将丌演算分为基本单元、 顺序、并发、选择和递归等几种基本结构．分别映射为Petri网．然后复合构成复杂的系统．石演算的Petri网语义可形 象地描述系统的物理结构和动态行为，可直接从模型网络结构上定性分析系统的性质．最后，利用该方法将移动汽车 网络的n演算模型映射为Petri网。验证了方法的有效性． 关键词：玎演算#Petri网f并发，结构特性；分析