DocumentCode
2039916
Title
Properties and applications of synchronized choice Petri nets
Author
Chao, Daniel Y. ; Nicdao, Jose A.
Author_Institution
Dept. of Manage. & Inf. Sci., Nat. Cheng Chi Univ., Taipei, Taiwan
Volume
4
fYear
2001
fDate
2001
Firstpage
2742
Abstract
Any synchronized choice net (SNC) is bounded and its liveness conditions are simple. We study its reachability and irreversibility properties and develop a new systematic technique to find bad siphons (i.e., not traps) and extend the SNC model to a flexible manufacturing system with resource sharing. The resulting nets are more powerful than the existing models in the literature
Keywords
Petri nets; flexible manufacturing systems; production control; reachability analysis; Petri nets; flexible manufacturing system; inconsistent pair; irreversibility; liveness; production control; reachability; synchronized choice nets; verification; Assembly; Chaos; Flexible manufacturing systems; Information management; Information science; Petri nets; Power system modeling; Resource management; Robots; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location
Tucson, AZ
ISSN
1062-922X
Print_ISBN
0-7803-7087-2
Type
conf
DOI
10.1109/ICSMC.2001.972981
Filename
972981
Link To Document