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

On the Deadlock Structures in FMS with Complex Parallel-shared Resources

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

Deadlocks resulting from parallel resource sharing by independent manufacturing processes is thoroughly studied and the concept of PRDSs(parallel resources deadlock structures) is outlined. Meanwhile, a concise method based on resource vectors is presented for determining whether a system has possible deadlocks resulting from the existence of parallel-shared resources. The approach is characterized by less computation cost and demonstrated with some examples.