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向量环变化。
T-invariant based Methods for Computing Repetitive Vectors of Petri Nets;
基于T-不变量的可重复向量的求解算法
Decision algorithm for legal firing transition sequence of Petri net based on T-invariant eliminating;
基于T-不变量消除的Petri网合法变迁引发序列判定算法
Inference algorithm of T-invariant and completeness are also got.
为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。