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

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

Supervisory Control of FMS's Using Colored Resource-Oriented Petri Net and Temporal Logic Frameworks

시간논리 구조와 Colored Resource-Oriented Petri Net을 이용한 FMS's의 감시제어

  • Kim, Jung-Chul (Dept. of Control & Instrumentation Engineering, Wonkwang Univ) ;
  • Kim, Jin-Kwon (Dept. of Control & Instrumentation Engineering, Wonkwang Univ) ;
  • Hwang, Hyung-Soo (Dept. of Control & Instrumentation Engineering, Wonkwang Univ)
  • 김정철 (원광대학교 공과대학 제어계측공학과) ;
  • 김진권 (원광대학교 공과대학 제어계측공학과) ;
  • 황형수 (원광대학교 공과대학 제어계측공학과)
  • Published : 2001.07.18
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

Keywords