한국정보처리학회:학술대회논문집 (Annual Conference of KIPS)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

자원공유를 이용한 추이적행렬의 교착 상태 확인 및 회피

Deadlock Detection and Avoidance in transitive matrix Using the Resource share

  • 김상환 (충북대학교 컴퓨터공학과) ;
  • 이상호 (충북대학교 컴퓨터공학과) ;
  • 이종근 (창원대학교 컴퓨터정보통신공학부)
  • Kim, Sang-Hwan (Dept of Computer Science, Chungbook National University) ;
  • Lee, Sang-Ho (Dept of Computer Science, Chungbook National University) ;
  • Lee, Jong-Kun (Dept of Computer Engineering, Changwon National University)
  • 발행 : 2007.05.11
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

키워드