Modeling and analysis of cycle schedule using Petri nets unfolding

We focus on the analysis of the cycle scheduling problem in FMS using unfolding time Petri nets after slicing off some sub-nets using the transitive matrix. We can change an iterated cycle module into an acyclic module without changing any other behavior property in Petri nets. We first show that properties can be studied through the unfolding nets concepts. A method to analyze and optimize the control of such systems is presented and explained on an example.