DocumentCode
2198572
Title
Work in process (WIP) analysis of the flexible manufacturing system using time Petri nets unfolding
Author
Kun, Lee J.
Author_Institution
Dept. of Comput. Sci., Changwon Nat. Univ., South Korea
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
136
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725398
Filename
725398
Link To Document