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

Abstract 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.

[1]  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.

[2]  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.

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

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

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

[6]  MengChu Zhou,et al.  Petri Nets in Flexible and Agile Automation , 1995 .

[7]  Takashi Sekiguchi,et al.  A research on Petri net properties using transitive matrix , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

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

[9]  Hervé Camus.  Conduite de systèmes flexibles de production manufacturière par composition de régimes permanents cycliques : modélisation et évalution de performances à l'aide des réseaux de Petri , 1997 .

[10]  Xiao-lan Xie,et al.  A heuristic algorithm for the periodic scheduling and sequencing job-shop problem , 1987, 26th IEEE Conference on Decision and Control.

[11]  J. C. Gentina,et al.  Petri net modeling of ratio-driven flexible manufacturing systems and implications on the WIP for cyclic schedules , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.