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

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