摘要
研究了制造过程共享资源引起的死锁问题 ,提出了并行资源死锁结构的概念。对于包含该结构的系统 ,给出了 Petri网模型具有可能死锁的充要条件。基于资源向量的概念 ,提出了一个简单方法 ,用于判断系统是否具有可能的死锁。针对包含死锁结构的系统 ,提出了系统 Petri网无死锁的设计方法。举例说明了这种方法的应用。
The deadlock problem resulting from parallel resources shared by independent manufacturing processes is discussed and the concept of PRDS (Parallel Resource Deadlock Structures) is outlined. For the Petri net models of systems which contain PRDS, the necessary and sufficient conditions for deadlocks are proposed. Meanwhile, a concise method based on resource vectors is presented for determining whether a system has possible deadlocks. The approach is characterized by less computation cost. More importantly, the desirable results can be obtained according to the relations of operations and resources in a system. In addition, deadlock-free design methods are developed. The approaches proposed in this paper are demonstrated with some examples.
出处
《中国机械工程》
EI
CAS
CSCD
北大核心
2003年第4期280-284,共5页
China Mechanical Engineering
基金
西安电子科技大学青年工作站资助项目(YWF2 0 0 2 0 1 0 0 1 )
