대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)
- 대한전기학회 2001년도 하계학술대회 논문집 D
- /
- Pages.2045-2047
- /
- 2001
시간논리 구조와 Colored Resource-Oriented Petri Net을 이용한 FMS's의 감시제어
Supervisory Control of FMS's Using Colored Resource-Oriented Petri Net and Temporal Logic Frameworks
- 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)
- 발행 : 2001.07.18
초록
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.
키워드