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

扫码查看

原文链接

NETL

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

作者：

郭小群、郝克刚、侯红、丁剑杰

展开 >

作者单位：

西北大学信息学院,西安 710069

关键词：

Pi演算 Petri网抑制弧形式化建模

主办单位：

中国计算机学会

会议名称：

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

会议时间：

2009-08-22

会议地点：

天津

会议母体文献：

第十二届全国petri网理论与应用学术年会论文集

页码：

9-12,42

出版时间：

2009