DocumentCode
1628813
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
Volume
3
fYear
1999
fDate
6/21/1905 12:00:00 AM
Firstpage
881
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location
Tokyo
ISSN
1062-922X
Print_ISBN
0-7803-5731-0
Type
conf
DOI
10.1109/ICSMC.1999.823344
Filename
823344
Link To Document