Title :
Work in process (WIP) analysis of the flexible manufacturing system using time Petri nets unfolding
Author_Institution :
Dept. of Comput. Sci., Changwon Nat. Univ., South Korea
Abstract :
In this paper, we suggests a WIP (work in process) of FMS 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.
Keywords :
Petri nets; flexible manufacturing systems; minimisation; production control; FMS; WIP analysis; WIP minimization; concurrent system verification; cyclic state scheduling problem; equivalent acyclic description; flexible manufacturing system; partial order-based method; time Petri nets unfolding; work-in-process analysis; Computer science; Explosions; Fires; Flexible manufacturing systems; Interleaved codes; Job shop scheduling; Manufacturing systems; Petri nets; State-space methods;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725398
