10.3969/j.issn.1000-3428.2010.17.001
一种改进的Petri网S不变量计算方法
用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑.针对该问题,提出一种改进算法.通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并得到最小S不变量支撑.理论与实验结果证明,M-S算法的复杂度为s×t,而改进算法的复杂度为s+t,该算法能有效减少计算复杂度.
Petri网、S不变量、状态方程、复杂度
36
TP311.52(计算技术、计算机技术)
国家自然科学基金资助项目60874068
2010-10-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
1-3