DocumentCode
2636597
Title
Analysis of Petri net models using transitive matrix
Author
Song, Yu-Jin ; Lee, Jong-Kun
Author_Institution
Dept. of Comput. Sci., Changwon Nat. Univ., Kyungnam, South Korea
Volume
4
fYear
2000
fDate
2000
Firstpage
3122
Abstract
We focus on the analysis of Petri net models using a subnet. We propose a divide and conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. The usefulness of the approach is shown by applying the proposed techniques to an illustration model
Keywords
Petri nets; divide and conquer methods; Petri net models; divide and conquer method; one-boundedness; subnet; transitive matrix; Computer science; Electronic mail; Equations; Fires; Information analysis; Information systems; Laboratories; Matrix decomposition; Petri nets; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location
Nashville, TN
ISSN
1062-922X
Print_ISBN
0-7803-6583-6
Type
conf
DOI
10.1109/ICSMC.2000.884478
Filename
884478
Link To Document