论文部分内容阅读
研究了制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念. 对于包含该结构的系统, 给出了Petri网模型具有可能死锁的充要条件.基于资源向量的概念, 提出了一个简单方法, 用于判断系统是否具有可能的死锁.针对包含死锁结构的系统, 提出了系统Petri网无死锁的设计方法.举例说明了这种方法的应用.