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

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

  • 송유진 (정보시스템연구실/컴퓨터공학과) ;
  • 이종근 (정보시스템연구실/컴퓨터공학과)
  • 발행 : 2002.04.01

초록

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

키워드