|
|
软件学报 2002
关于esac网活性和有界性的一个多项式算法, PP. 1257-1263 Keywords: 扩展强化非对称选择网(esac网),结构活,结构有界,多项式算法 Abstract: 寻找实际可行的多项式算法一直是petri网应用的重要方面.给出了关于扩展强化非对称选择网(extendedstrongasymmetricchoicenets,简称esac网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的esac网的初始标识是否是活标识.esac网覆盖了自由选择网,因此,该算法应用范围较为广泛.
|
