A hybrid discrete differential evolution algorithm for deadlock-free scheduling with setup times of flexible manufacturing systems

This paper proposes an effective hybrid discrete differential evolution (DDE) algorithm for solving a scheduling problem of flexible manufacturing systems (FMSs), where sequence-dependent setup times are considered. The objective is to find a deadlock-free schedule that minimizes the makespan. Based on the timed Petri net models of FMSs, a possible solution of the scheduling problem is represented as an individual that is a permutation with repetition of jobs. For the existence of deadlocks, most of the individuals cannot be directly decoded into feasible (live) schedules. Therefore, a deadlock controller is applied in the decoding scheme, and infeasible individuals are amended into feasible ones. Moreover, in order to overcome the premature convergence of DDE algorithm and improve solution quality, a variable neighbourhood search algorithm, which performs a systematic change of neighbourhood in solution searching, is adopted. Then a hybrid scheduling algorithm that combines a DDE with a variable neighbourhood search is presented. Computational results and comparison based on a variety of instances show the feasibility and superiority of the proposed algorithm.

[1]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[2]  Xiao Chen,et al.  Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers , 2014 .

[3]  MengChu Zhou,et al.  Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[5]  MengChu Zhou,et al.  Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[6]  Stéphane Lafortune,et al.  Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case , 2011, IEEE Transactions on Automatic Control.

[7]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[8]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[9]  MuDer Jeng,et al.  A Heuristic Search Approach Using Approximate Solutions to Petri Net State Equations for Scheduling Flexible Manufacturing Systems , 1998 .

[10]  Miquel Angel Piera Eroles,et al.  Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[11]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

[12]  Thomas Stützle,et al.  An Iterated Greedy heuristic for the sequence dependent setup times flowshop problem with makespan and weighted tardiness objectives , 2008, Eur. J. Oper. Res..

[13]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[14]  MuDer Jeng,et al.  A Petri net synthesis theory for modeling flexible manufacturing systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[15]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[16]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[17]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[18]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[19]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[20]  Mostafa Zandieh,et al.  Scheduling hybrid flowshops with sequence dependent setup times to minimize makespan and maximum tardiness , 2009 .

[21]  Hoda A. ElMaraghy,et al.  Deadlock-free scheduling in flexible manufacturing systems using Petri nets , 2002 .

[22]  Hoda A. ElMaraghy,et al.  Real-time scheduling with deadlock avoidance in flexible manufacturing systems , 2003 .

[23]  Pierre Hansen,et al.  Variable neighborhood search , 1997, Eur. J. Oper. Res..

[24]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[25]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[26]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[27]  Roberto Cordone,et al.  Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[28]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[29]  Sanjay B. Joshi,et al.  Deadlock-free schedules for automated manufacturing workstations , 1996, IEEE Trans. Robotics Autom..

[30]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[31]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[32]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[33]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[34]  R. Storn,et al.  Differential Evolution - A simple and efficient adaptive scheme for global optimization over continuous spaces , 2004 .