Title :
Deadlock avoidance in manufacturing systems of parallel mutual exclusion
Author :
Yuan Zhonghu ; Wendong, Xiao ; Xinhe, Xu
Author_Institution :
Dept. of Autom. Control, Northeast Univ., Shenyang, China
fDate :
29 June-1 July 1994
Abstract :
In this paper, manufacturing systems with parallel mutual exclusion that share finite resources are modelled by a class of extended Petri nets-parallel process Petri nets (PPPN). Based on this model, a sufficient and necessary condition for occurring deadlock in manufacturing system is given, and a maximal permissive feedback control logic, which allocates the shared resources and avoids deadlock, is presented.
Keywords :
Petri nets; feedback; manufacturing processes; resource allocation; deadlock avoidance; extended Petri nets; manufacturing systems; maximal permissive feedback control logic; parallel mutual exclusion; parallel process Petri nets; sufficient and necessary condition; Control systems; Feedback control; Logic; Manufacturing systems; Partial response channels; Petri nets; Production; Resource management; System recovery; Virtual manufacturing;
Conference_Titel :
American Control Conference, 1994
Print_ISBN :
0-7803-1783-1
DOI :
10.1109/ACC.1994.751834
