一种改进的Petri网S不变量计算方法

摘要

用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑.针对该问题,提出一种改进算法.通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并得到最小S不变量支撑.理论与实验结果证明,M-S算法的复杂度为s×t,而改进算法的复杂度为s+t,该算法能有效减少计算复杂度.