전자공학회논문지B (Journal of the Korean Institute of Telematics and Electronics B)
- 제30B권7호
- /
- Pages.50-58
- /
- 1993
- /
- 1016-135X(pISSN)
초기 마킹(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.
키워드