Title :
Firing sequences of Synchronized Choice Nets
Author_Institution :
Dept. of Manage. & Inf. Sci., Nat. Chengchi Univ., Taipei, Taiwan
Abstract :
The shortest firing sequence from one to another reachable marking is derived for a new class of nets called Synchronized Choice Nets (SNC).
Keywords :
Petri nets; reachability analysis; synchronisation; Petri nets; SNC; Synchronized Choice Nets; reachable marking; shortest firing sequence; Approximation algorithms; Bridges; Equations; Information management; Information science; Petri nets; Polynomials;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1175585
