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

摘要

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