JOB Scheduling Analysis in FMC using TPN

TPN을 이용한 FMC의 JOB 스케쥴링 분석

In this paper, we suggests a WIP (Work In Process) of FMC (Flexible Manufacturing Cell) analysis methods based on the TPN (Time Petri Nets) unfolding. Unfolding of PN is a partial order-based method for the verification of concurrent system without the state space explosion. The aim of this work is to formulate the general cyclic state scheduling problem to minimize the WIP to satisfy economical constraints. The method is based on unfolding of the original net into the equivalent acyclic description.

본 연구는 TPN (Time Petri Nets) unfolding을 이용하여 가공 machine과 세정 machine으로 구성된 FMC (Flexible Manufacturing Cell)의 WIP (Work In Process)를 분석하는 방법을 제시한다. 여기서, PN의 unfolding은 상태공간폭발이 발생하지 않는 concurrent system의 검증에 사용되는 순서기반 방법이다. 본 연구는 일반적으로 발생하는 순환상태 스케쥴 문제에서 가장 그 작업과정 시간을 최적화하기 위하여 원래의 net을 동일한 비순환 net으로 바꾸어 줄 수 있는 unfolding 개념을 기반으로 한 것이다.