带抑制弧petri网的保性变换

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