【摘要】 以Petri网的关联矩阵为基础 ,提出了求解Petri网的S不变量和T不变量的算法 .以关联矩阵为基础构造求解矩阵 ,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零 ,并在变换后的矩阵中提取S不变量和T不变量 .算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量更多还原

【Abstract】 On the basis of incidence matrix of Petri nets, three algorithms for computing S invariant and T invariant are presented. In the S&T invariant algorithm, a matrix is constructed on the basis of incidence matrix. Appropriate elementary line transitions and column transitions are needed to transform line components and column components into zero. All S invariant and T invariant can be easily extracted from the transformed matrix. By using this algorithm, all S invariant and T invariant can be generated by elementary linear transitions in a single matrix.更多还原