Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets

In this paper, we focus on the analysis of a cyclic schedule for the determination of the optimal cycle time and minimization of the Work in Process (WIP for short). Especially, this paper deals with product ratio-driven FMS cyclic scheduling problem with each other products and ratios using Timed Petri nets unfolding (TPN for short). TPN slicing and unfolding are applied to analyze this FMS model. We can divide original system into subsystem using TPN slices and change iterated cycle module into acyclic module without any loss of other behavior properties.