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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884478
