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

A method for deciding deadlock structures caused by parallel shared resources

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

The problem to deal with deadlocks resulting from parallel resources shared by independent manufacturing processes is thoroughly discussed and the concept of PRDS(Parallel Resources Deadlock Structure) is proposed. Meanwhile, a concise method based on the resource vector is presented for determining whether a system has possible deadlocks resulting from the existence of parallel shared resources.