自动制造系统的一种死锁避免策略

基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法，在这种策略的控制下，避免了系统中死锁的产生，从而许多制造系统的Petri网模型具有活性，提出了一种保证所有严格极小信标至少含有一个托肯的方法，对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网格型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。

A Deadlock Avoidance Strategy in Automated Manufacturing Systems

A deadlock avoidance strategy for automated manufacturing systems was discussed, which was based on Petri nets and their structural analysis. The deadlock can be avoided under the supervisory control of this strategy and the liveness can be guaranteed for the nets of most automated manufacturing systems. An approach was also proposed to make that every strict minimal siphon has at least one token. The investigation of redundant strict minimal siphons made Petri nets more powerful in modeling complex automated manufacturing systems. The results obtained show that not all of the strict minimal siphons need to consider when one designs deadlock-free Petri net models, and hence the design results and control algorithms are simplified.