Title :
Reachability of non-synchronized choice Petri nets with resource-sharing
Author_Institution :
Dept. of Manage. & Inf. Sci., Nat. Cheng Chi Univ., Taipei, Taiwan
Abstract :
Reachability for a new class of nets called Synchronized Choice Nets (SNC) is extended to non-SNC. SNC covers well-behaved FC, based on which, we propose an algorithm to verify liveness.
Keywords :
Petri nets; reachability analysis; Petri nets; Synchronized Choice Nets; liveness; reachability; resource-sharing; Chaotic communication; Explosions; Flexible manufacturing systems; Information management; Job shop scheduling; Petri nets; Resource management; Roentgenium; Samarium; System recovery;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1176384
