Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 2001.07d
- /
- Pages.2045-2047
- /
- 2001
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
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