并行共享资源死锁结构的一种判断方法

研究了独立制造过程共享资源引起的死锁问题，提出了并行资源死锁结构的概念．基于资源向量，给出了一个简单的形式化方法。

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

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

复杂并行共享资源与系统死锁

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

一类制造系统活性控制

根据Petri网结构理论分析S3 RP类型制造系统的死锁发生的充分必要条件 ,分析Petri网模型中存在的最小死锁结构 ,根据库所不变量原理提出在最小死锁结构处施加控制库所的策略 ,从而消除死锁的发生。实例证明基于不变量原理的死锁避免策略是算法简便 。