论文部分内容阅读
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。对于一个网模型而言,找到死锁节点,利用一定办法对其死锁节点进行控制,使其网变活,是一种良好的控制策略。在这篇文章里,我们提到了一种新的死锁检测方法,利用传递矩阵这一新的死锁查找办法,得到S~3PR网的死锁节点,然后结合P-不变式控制原理,对网添加控制库所和相应控制弧,使得S~3PR网最终是一个活的Petri网模型。这种新的死锁查找方法是在研究0-1网的基础上得到的,并把它推广应用到任何普通网内,与P-不变