On the basis of matrix theory, the algorithm for computing s-invariant and t-invariant of petri net are presented; on the basis of mathematical logic, the solution method for siphon and trap of petri net are obtained.
根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。
According to matrix theory,the algorithm for s-invariant and t-invariant are presented on the basis of mathematical logic.
根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。
Objective To assess the changes of T vector loop in children with Kawasaki disease (KD).
目的 :探讨川崎病 (KD)患儿空间T向量环变化。