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

摘要

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