Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search

Deadlock-free scheduling and control is critical for optimizing the performance of flexible assembly systems (FASs). Based on the Petri net models of FASs, this paper integrates a deadlock prevention policy with local search and develops a novel deadlock-free scheduling algorithm. A solution of the scheduling problem is coded as a chromosome representation that is a permutation with repetition of parts. By using the deadlock prevention policy, a repairing algorithm (RA) is developed to repair unfeasible chromosomes. A perturbation strategy based on estimation of distribution algorithm is developed to escape from local optima. Moreover, to improve population diversity, an acceptance criterion (AC) based on Pareto dominance is proposed. The chromosome representation, RA, perturbation strategy, and AC together support the cooperative aspect of local search for scheduling problems strongly.

[1]  Peng Li,et al.  Iterated local search for distributed multiple assembly no-wait flowshop scheduling , 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).

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

[3]  T. Stützle,et al.  Iterated Local Search: Framework and Applications , 2018, Handbook of Metaheuristics.

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

[5]  Keyi Xing,et al.  Hybrid branch and bound algorithms for the two-stage assembly scheduling problem with separated setup times , 2019 .

[6]  Yufeng Chen,et al.  Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..

[7]  Mark Johnston,et al.  Automatic Programming via Iterated Local Search for Dynamic Job Shop Scheduling , 2015, IEEE Transactions on Cybernetics.

[8]  MengChu Zhou,et al.  A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations , 2015, IEEE Transactions on Control Systems Technology.

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

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

[11]  Xu Gang,et al.  Deadlock-free scheduling strategy for automated production cell , 2003, Proceedings 2003 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM 2003).

[12]  Fu-Shiung Hsieh.  Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources , 2006, Autom..

[13]  Margaret J. Robertson,et al.  Design and Analysis of Experiments , 2006, Handbook of statistics.

[14]  Libin Han,et al.  Efficient optimal deadlock control of flexible manufacturing systems , 2016 .

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

[16]  Jianchao Luo,et al.  Robust deadlock control for automated manufacturing systems with an unreliable resource , 2016, Inf. Sci..

[17]  Dennis Huisman,et al.  A comparison of five heuristics for the multiple depot vehicle scheduling problem , 2009, J. Sched..

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

[19]  Mitsuo Gen,et al.  Genetic algorithms and engineering optimization , 1999 .

[20]  MengChu Zhou,et al.  Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

[22]  MengChu Zhou,et al.  Deadlock characterization and control of flexible assembly systems with Petri nets , 2018, Autom..

[23]  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).

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

[25]  Colin R. Reeves,et al.  Genetic Algorithms: Principles and Perspectives: A Guide to Ga Theory , 2002 .

[26]  MengChu Zhou,et al.  Optimal One-Wafer Cyclic Scheduling of Time-Constrained Hybrid Multicluster Tools via Petri Nets , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[27]  MengChu Zhou,et al.  Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets , 2012, IEEE Transactions on Automation Science and Engineering.

[28]  MengChu Zhou,et al.  Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource , 2018, Asian Journal of Control.

[29]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[30]  Qingtian Zeng,et al.  Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[31]  Hongye Su,et al.  An improved approach to test diagnosability of bounded petri nets , 2017, IEEE/CAA Journal of Automatica Sinica.

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

[33]  Keyi Xing,et al.  Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[34]  J. A. Lozano,et al.  Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation , 2001 .

[35]  MengChu Zhou,et al.  Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets , 2007, OR Spectr..

[36]  Maria Pia Fanti,et al.  Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems , 2002 .

[37]  Xiaoyu Lu,et al.  Hybrid Petri nets for modeling and analysis of microgrid systems , 2016, IEEE/CAA Journal of Automatica Sinica.

[38]  MengChu Zhou,et al.  Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[39]  MengChu Zhou,et al.  Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets , 2013, IEEE Transactions on Industrial Informatics.

[40]  Elzbieta Roszkowska.  Supervisory control for deadlock avoidance in compound processes , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[41]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[42]  Huixia Liu,et al.  Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources , 2016, Inf. Sci..

[43]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[44]  MengChu Zhou,et al.  Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

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

[47]  Moacir Godinho Filho,et al.  Using Genetic Algorithms to solve scheduling problems on flexible manufacturing systems (FMS): a literature survey, classification and analysis , 2014 .

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

[49]  Chris N. Potts,et al.  An Iterated Local Search heuristic for the single machine total weighted tardiness scheduling problem with sequence-dependent setup times , 2014 .

[50]  Thomas Stützle,et al.  Iterated local search for the quadratic assignment problem , 2006, Eur. J. Oper. Res..

[51]  MengChu Zhou,et al.  Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search , 2017 .

[52]  Fu-Shiung Hsieh,et al.  Robustness analysis of holonic assembly/disassembly processes with Petri nets , 2008, Autom..

[53]  MengChu Zhou,et al.  A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[54]  Fu-Shiung Hsieh.  Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[55]  Zuohua Ding,et al.  Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[56]  Chris N. Potts,et al.  An Iterated Dynasearch Algorithm for the Single-Machine Total Weighted Tardiness Scheduling Problem , 2002, INFORMS J. Comput..

[57]  MengChu Zhou,et al.  Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges , 2018, IEEE Transactions on Automation Science and Engineering.

[58]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[59]  Rong Su,et al.  Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets , 2018, IEEE/CAA Journal of Automatica Sinica.

[60]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[61]  MengChu Zhou,et al.  Deadlock Resolution in Computer-Integrated Systems , 2004 .

[62]  Chin-Chia Wu,et al.  An iterated local search for the multi-objective permutation flowshop scheduling problem with sequence-dependent setup times , 2017, Appl. Soft Comput..

[63]  Keyi Xing,et al.  Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources , 2014 .

[64]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.