Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)
- 2000.07b
- /
- Pages.665-668
- /
- 2000
Analysis of Petri net models using Transitive Matrix
- Song, Yu-Jin (Laboratory of Information system, Dept. of Computer Science, Changwon National University) ;
- Lee, Jong-kun (Laboratory of Information system, Dept. of Computer Science, Changwon National University)
- Published : 2000.07.01
Abstract
In this paper, we are focused on the analysis of Petri nets model using the subnet. Specially, we are proposes a divide-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 a illustration model.
Keywords