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

Deadlock State and Its Avoidance Method in Flexible Manufacturing Systems with Shared Resources

作　　者：韩赞东[1] 李基范 

机构地区：[1]清华大学机械工程学院 [2]韩国产业科学研究院

出　　处：《中国机械工程》2004年第10期887-891,共5页China Mechanical Engineering

基　　金：国家 8 63高技术研究发展计划资助项目( 2 0 0 1AA41114 0 ) ;清华大学骨干人才支持计划资助项目

摘　　要：针对FMS中多种操作对有限资源的竞争会导致死锁状态 ,采用Petrinet分析技术对其进行了研究。建立了FMS的PPN模型 ,并在此基础上给出了直接死锁和潜在死锁的定义 ;引入了死锁状态方程的概念并给出了其构造方法 ;描述了死锁状态和资源分布之间的内在联系 ,并提出了一种死锁避免方法。实例表明该方法能够简单有效地避免死锁的产生 。Based on the PPN(Production Petri Net) model, the concepts of direct deadlock state and potential deadlock state in FMS were given. Then, the deadlock state equation and its construction algorithm were presented. The deadlock state equation describe the intrinsic relationship between deadlock state and resource distribution, which was a necessary and sufficient condition for the occurring of deadlock situations. Finally, a deadlock avoidance method was proposed, which constructed PN controller for every deadlock state equation. The PN controllers can control the resource dispatching by excluding some enabled transitions from firing, consequently avoid the deadlock. Two applications show that this method is simple and efficient to avoid deadlock while allows the maximal utility of the resources.

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

分 类 号：TH165.1[机械工程—机械制造及自动化]