复杂并行共享资源柔性制造系统中的死锁结构

摘要

深入研究了独立制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念.同时,基于资源向量,给出了一种简单的形式化方法,用于判断一个系统是否由于包含并行共享而具有可能的死锁,提出了一种使并行共享资源制造系统,其Petri网控制器无死锁的设计理论和方法,这种方法的主要特点是计算简单,最后举例说明了这种方法的应用.