一类并行互斥制造系统的死锁避免控制
DEADLOCK AVOIDANCE IN A CLASS OF MANUFACTURING SYSTEMS OF PARALLEL MUTUAL EXCLUSION
-
摘要: 本文用一种扩展Petri网,并行过程Petri网,对竞争使用有限资源的一类并行互斥制造系统进行建模.以此模型为基础,分析了这类制造系统中出现死锁的充要条件,并给出了避免死锁,对共享资源所采取的最大允许反馈控制策略.Abstract: In this paper,a class of manufacturing systems of parallel mutual exclusion that shared finite resources is modeled by a kind of extended Petri nets-parallel process Petri nets (PPPN).Based on this model,the sufficient and necessary conditions for occuring deadlock in manufacturing process is given and the maximally permissive feedback control logic,which allocates the shared resources and avoides deadlock.is presented.