Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

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