多资源共享系统的死锁分析与控制

Analysis and Control of Deadlock for MultiResource Share System

利用Ｐｅｔｒｉ网建立多资源并发系统模型，讨论了系统的安全性与无死锁性，指出死锁存在的条件，给出消除死锁的控制装置，通过一实际制造系统的建模与分析，验证了该文结果的正确性和有效性．

In this paper, the model of multi resource share system is built with Petri net. The safety and non deadlock of the system are discussed. The conditions for deadlock existence are pointed out and the control tools for antideadlock are given. By analysing a practical system, the correctness and viability of our model are examed.