Petri网中S不变量和T不变量的算法

THE ALGORITHM FOR S-INVARIANT AND T-INVARIANT IN PETRI NET

在Petri网中,不变量、虹吸和陷阱的求解是一个重要的问题,本文拟用数学方法—矩阵变换和数理逻辑两种方法进行探讨。根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。

In Petri net, not variable, siphon traps and the solution are important issues, we intend to use mathematical methods - matrix transformation and mathematical logic of the two methods were discussed. According to matrix theory, the algorithm for s - invariant and t - invariant are presented on the basis of mathematical logic. The solution method for siphon and trap of petri net was obtained.