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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.972981
