초기 마킹(Marking)과 접속행렬 비교에 의한 패트리 네트의 해석

Petri Net Analysis by Comparing initial marking with incidence matrix

Petri nets aare capable of modeling a large variety of systems, it is necessary to analyze the modeled system for verifying the behavior. In this paper, we propose an algorithm which analyzes Petri nets by comparing initial marking with modified incidence matrix. The proposed algoriths is able to analyze petri net involving self-loop, and is able to verify the order of sequence according to that of firing.