基于Petri网的柔性制造系统一种预防死锁方法

？基于Petri网的结构特性分析,研究了FMS(柔性制造系统)一种预防死锁方法.提出了Petri网的一种特殊拓扑结构--基本信标的概念.在Petri网中基本信标的集合是SMS(严格极小信标)集合的一个真子集.尤其在大型Petri网系统中,基本信标的集合比SMS的集合要小得多.对于Petri网的一个子类S3PR,只对每一个基本信标添加一个库所使其不被清空,就可实现预防死锁,也就是说无须控制S3PR的所有SMS而达到无信标被清空的目的.此外,对于S3PR,还提出了一种求取SMS和基本信标的方法.相对于现在普遍采用的控制所有SMS来预防死锁的策略,其具三方面优势.1)只需控制少量的SMS即所谓的基本信标.相应地,添加少量的控制库所和连接弧,就可得到无死锁或活的Petri网.2)不需要先行计算出极小信标的集合.3)明显地,这种方法更适合大型Petri网系统.我们通过穿插在文中的一个例子来说明这些方法.