DEADLOCK AVOIDANCE IN A CLASS OF MANUFACTURING SYSTEMS OF PARALLEL MUTUAL EXCLUSION

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.