Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2002.04a
- /
- Pages.694-696
- /
- 2002
- /
- 1598-5164(pISSN)
Analyze Method of Deadlock status in Petri nets Using the Transitive Matrix
추이적 행렬을 이용한 패트리 넷의 교착 상태 확인 분석
Abstract
본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.
Keywords