用Pi+演算表示带抑止弧的Petri网

摘要：

Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原语的作用。

关键词： Pi演算 Petri网 抑制弧 形式化建模

作者: 郭小群 郝克刚 侯红 丁剑杰

作者单位: 西北大学信息学院,西安 710069

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 9-12,42

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）