论文部分内容阅读
已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对，步骤较为繁琐，并且所提供的方法不适合于带抑止孤的网．采用一种与传统方法不同的化简思路，首先将网划分为若干个最大无圈子网，将每个最大无圈子网表达为若干个逻辑式,用逻辑代数来完成逻辑式的化简，最后将其结果还原为Petri网回嵌到原网中，完成整个网的化简．给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明．该方法将化简范围扩展到了带抑止孤的无回路的网或网的局部．