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.
根據(jù)矩陣?yán)碚撎岢隽擞?jì)算Petri網(wǎng)S不變量和T不變量的一種比較簡(jiǎn)單和通用的算法,基于數(shù)理邏輯得到求解Petri網(wǎng)虹吸和陷阱的一般方法。
According to matrix theory,the algorithm for s-invariant and t-invariant are presented on the basis of mathematical logic.
根據(jù)矩陣?yán)碚?提出了計(jì)算Petri網(wǎng)S不變量和T不變量的一種比較簡(jiǎn)單和通用的算法,基于數(shù)理邏輯得到求解Petri網(wǎng)虹吸和陷阱的一般方法。
Objective To assess the changes of T vector loop in children with Kawasaki disease (KD).
目的 :探討川崎病 (KD)患兒空間T向量環(huán)變化。