Title :
The algorithm for checking liveness in synchronized choice net
Author :
Chao, Daniel Y. ; Tseng, Jau-Hung ; Tang, Jih-Hsin ; Nicdao, Jose A. ; Chen, Yi-Kung
Author_Institution :
Dept. of Manage. & Inf. Sci., Nat. Cheng Chi Univ., Taipei, Taiwan
fDate :
6/21/1905 12:00:00 AM
Abstract :
Synchronized choice nets (SNC) were discovered as a new class of nets. They are the largest (larger than free-choice) set of nets that are covered by both T-components and P-components. We propose to use a structure matrix to detect whether a net is live in a SNC net
Keywords :
Petri nets; matrix algebra; P-components; T-components; liveness; structure matrix; synchronized choice net; Bridge circuits; Chaos; Hydrogen; Information management; Information science; Integrated circuit interconnections; Polynomials; System recovery; Terminology; Tin;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.823344
