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

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

单位：清华大学机械工程学院; 北京; 100084; 韩国产业科学研究院; 浦项; 韩国