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向量環變化。