Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2007.05a
  • /
  • Pages.751-754
  • /
  • 2007
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
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)
  • 김상환 (충북대학교 컴퓨터공학과) ;
  • 이상호 (충북대학교 컴퓨터공학과) ;
  • 이종근 (창원대학교 컴퓨터정보통신공학부)
  • Published : 2007.05.11
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords