DocumentCode
335271
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
Volume
1
fYear
1994
fDate
29 June-1 July 1994
Firstpage
722
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1994
Print_ISBN
0-7803-1783-1
Type
conf
DOI
10.1109/ACC.1994.751834
Filename
751834
Link To Document