한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

추이적 행렬을 이용한 패트리 넷의 교착 상태 확인 분석

Analyze Method of Deadlock status in Petri nets Using the Transitive Matrix

  • 송유진 (정보시스템연구실/컴퓨터공학과) ;
  • 이종근 (정보시스템연구실/컴퓨터공학과)
  • 발행 : 2002.04.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

키워드