FMS中资源共享导致的死锁状态及其避免方法

摘要：

针对FMS中多种操作对有限资源的竞争会导致死锁状态,采用Petri net分析技术对其进行了研究.建立了FMS的PPN模型,并在此基础上给出了直接死锁和潜在死锁的定义;引入了死锁状态方程的概念并给出了其构造方法;描述了死锁状态和资源分布之间的内在联系,并提出了一种死锁避免方法.实例表明该方法能够简单有效地避免死锁的产生,并允许资源的最大利用.

关键词：FMS、资源共享、死锁状态、死锁避免方法

所属期刊栏目：15

分类号：TH165.1

资助基金：国家高技术研究发展计划863计划2001AA411140;清华大学校科研和教改项目

在线出版日期：2004-06-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：887-891