论文部分内容阅读
寻找实际可行的多项式算法一直是Petri网应用的重要方面，给出了关于扩展强化对称选择网（extended strong asymmetric choice nets,简称ESAC网）结构活和结构有界的一个判定这算法，该算法可简单，有效地测试结构活结构有界的ESAC网的初始标识是否是活标识，ESAC网覆盖了自由选择网，因此，该算法应用范围较为广泛。