带抑制弧Petri网的保性变换

摘要：

Petri网的保性化简是Petri网分析的一种重要途径.带抑制弧的增广Petri网在计算能力上与图灵机等价.针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致.

关键词：带抑制弧的Petri网、保性变换、活性、有界性、(弱)公平性

所属期刊栏目：32

分类号：TP311.5;TP301.2(计算技术、计算机技术)

资助基金：湖南省教育厅青年项目10B088

在线出版日期：2012-12-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3071-3074