In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 136-141. 1998.
Abstract: This paper suggests a WIP (work in process) of FMS analysis methods based on the TPN (time Petri net) 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: flexible manufacturing systems, time Petri nets, work in process.