摘要
根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.
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.
出处
《江汉大学学报（自然科学版）》
2005年第1期14-16,共3页
Journal of Jianghan University：Natural Science Edition
基金
华东理工学院院长基金资助项目(DHY0415)
