摘要
利用Ｐｅｔｒｉ网建立多资源并发系统模型，讨论了系统的安全性与无死锁性，指出死锁存在的条件，给出消除死锁的控制装置，通过一实际制造系统的建模与分析，验证了该文结果的正确性和有效性．
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.
出处
《应用科学学报》
CAS
CSCD
1998年第3期331-337,共7页
Journal of Applied Sciences
基金
国家自然科学基金
中国博士后科学基金
山东省自然基金
东南大学CIMS网点实验室资助
