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