English

应用科学学报 ›› 1998, Vol. 16 ›› Issue (3): 331-337.

• 论文 • 上一篇    下一篇

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

许广银   

  1. 山东矿业学院
  • 收稿日期:1996-10-06 修回日期:1997-05-07 出版日期:1998-09-30 发布日期:1998-09-30
  • 作者简介:许广银:副教授,山东矿业学院自动化系,泰安 271019
  • 基金资助:
    国家自然科学基金,中国博士后科学基金,山东省自然基金,东南大学CIMS网点实验室资助

Analysis and Control of Deadlock for Multi-Resource Share System

XU GUANGYIN   

  1. Institute of Shandong Mining Technology, Taian 271019
  • Received:1996-10-06 Revised:1997-05-07 Online:1998-09-30 Published:1998-09-30

PDF

65

被引次数

3

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

关键词: 资源共享, Petri网模型, 安全性, 无死锁性

Abstract: 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.

Key words: resource share, Petri net model, safety, non-deadlock