节点文献
Petri网中的数学方法
The Mathematical Methods in Petri Net
【摘要】 根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.
【Abstract】 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网;
数学方法;
T不变量;
S不变量;
【Key words】 petri net; mathematical method; t-invariant; s-invariant;
【Key words】 petri net; mathematical method; t-invariant; s-invariant;
【基金】 华东理工学院院长基金资助项目(DHY0415)
- 【文献出处】 江汉大学学报(自然科学版) ,Journal of Jianghan University , 编辑部邮箱 ,2005年01期
- 【分类号】TP301.6
- 【被引频次】3
- 【下载频次】214