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

  • 2
  • 0
  • 约1.7万字
  • 约 5页
  • 2017-11-02 发布于上海
  • 举报

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

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

第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并发,结构特性;分析

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档