대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)

대한전기학회 (The Korean Institute of Electrical Engineers)
권호 표지

하이브리드 합성 패트리 네트의 설계오류에 대한 매트릭스 분석 방법

Matrix Analysis Method for Design Error of Hybrid Synthesis Petri Net

  • 김진권 (원광대학교 공과대학 제어계측공학과) ;
  • 모영승 (원광대학교 공과대학 제어계측공학과) ;
  • 김정철 (원광대학교 공과대학 제어계측공학과) ;
  • 황형수 (원광대학교 공과대학 제어계측공학과)
  • Kim, Jin-Kwon (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Mo, Young-Seung (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Kim, Jung-Chul (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Hwang, Hyung-Soo (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.)
  • 발행 : 2000.11.25
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems in discrete event dynamic system. There are many errors that can happen to petri net modeling of complex systems because petri net modeling process has so many steps. A new matrix analysis method presented in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

키워드