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.

[1]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[2]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[3]  Dongik Lee,et al.  A concurrency characteristic in Petri net unfolding , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[4]  Michael Kishinevsky,et al.  Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings , 1998, Formal Methods Syst. Des..

[5]  Lee Jong-kun.  Time Composition Problem in Time Petri Nets , 1997 .

[6]  Pascal Richard.  Scheduling Timed Marked Graphs with Resources: A Serial Method , 1998 .

[7]  Kenneth L. McMillan,et al.  A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..

[8]  Frank DiCesare,et al.  Petri Net-Based Heuristic Scheduling for Flexible Manufacturing , 1995 .

[9]  Wlodzimierz M. Zuberek,et al.  Schedules of flexible manufacturing cells and their timed colored Petri net models , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  Wlodzimierz M. Zuberek,et al.  Throughput analysis of manufacturing cells using timed Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[12]  Woo Jin Lee,et al.  Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..