Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges

Cluster tools are automated robotic manufacturing systems containing multiple computer-controlled process modules. They have been increasingly used for wafer fabrication. This paper reviews the modeling and scheduling methods for cluster tools with both nonrevisiting and revisiting processes. For nonrevisiting processes, we focus on the modeling and scheduling problems of cluster tools with different constraints. Then, their solution methods are reviewed and compared. For revisiting processes, this paper first discusses the scheduling problem of some general manufacturing systems with revisiting. Then, the modeling and scheduling methodologies used to solve the scheduling problems of cluster tools with revisiting processes are reviewed. Future research directions and conclusions are finally discussed.Note to Practitioners—Semiconductor manufacturing systems are among the most advanced and complicated manufacturing systems. Their key equipment is highly automated robot-based cluster tools. With wafer residency time constraints, wafer revisiting, activity time variation, chamber cleaning requirements, and failure-prone process modules (PMs), it is very challenging to schedule and control them. This paper surveys their modeling and scheduling methods. Scheduling them requires one to schedule their robot tasks and processing activities simultaneously. Owing to wafer residency time constraints and the lack of buffers among PMs, it is difficult to conduct their optimal scheduling. This paper presents a thorough review of the state-of-the-art research results about modeling and optimal scheduling of clusters tools and indicates the future research directions.

[1]  MengChu Zhou,et al.  Wafer Sojourn Time Fluctuation Analysis of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Variation , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[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]  Yves Crama,et al.  Cyclic scheduling in robotic flowshops , 2000, Ann. Oper. Res..

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

[5]  MengChu Zhou,et al.  Petri Net-Based Optimal One-Wafer Scheduling of Single-Arm Multi-Cluster Tools in Semiconductor Manufacturing , 2013, IEEE Transactions on Semiconductor Manufacturing.

[6]  MengChu Zhou,et al.  A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis , 2010, IEEE Transactions on Automation Science and Engineering.

[7]  Ali Yalcin,et al.  Deadlock avoidance in flexible manufacturing systems using finite automata , 2000, IEEE Trans. Robotics Autom..

[8]  Jun-Ho Lee,et al.  Time-Feasible Reachability Tree for Noncyclic Scheduling of Timed Petri Nets , 2015, IEEE Transactions on Automation Science and Engineering.

[9]  Rasaratnam Logendran,et al.  A comparison of local search algorithms with population-based algorithms in hybrid flow shop scheduling problems with realistic characteristics , 2016 .

[10]  Jun-Ho Lee,et al.  Noncyclic Scheduling of Cluster Tools With a Branch and Bound Algorithm , 2015, IEEE Transactions on Automation Science and Engineering.

[11]  MengChu Zhou,et al.  Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[12]  R. S. Gyurcsik,et al.  Single-wafer cluster tool performance: an analysis of the effects of redundant chambers and revisitation sequences on throughput , 1996 .

[13]  Yan Qiao,et al.  Scheduling and Analysis of Start-Up Transient Processes for Dual-Arm Cluster Tools With Wafer Revisiting , 2015, IEEE Transactions on Semiconductor Manufacturing.

[14]  Jun-Ho Lee,et al.  Scheduling Cluster Tools for Concurrent Processing of Two Wafer Types , 2014, IEEE Transactions on Automation Science and Engineering.

[15]  B.-J. Joo,et al.  A branch-and-bound algorithm for a two-machine flowshop scheduling problem with limited waiting time constraints , 2009, J. Oper. Res. Soc..

[16]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[17]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[18]  Jun-Ho Lee,et al.  Scheduling transient periods of dual-armed cluster tools , 2012, 2012 IEEE International Conference on Mechatronics and Automation.

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

[20]  Yeong-Dae Kim,et al.  Minimizing makespan in a two-machine flowshop with a limited waiting time constraint and sequence-dependent setup times , 2016, Comput. Oper. Res..

[21]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[22]  Chelliah Sriskandarajah,et al.  Scheduling Dual Gripper Robotic Cell: One-Unit Cycles , 2006, Eur. J. Oper. Res..

[23]  S. C. Wood,et al.  Systems of multiple cluster tools: configuration, reliability, and performance , 2003 .

[24]  MengChu Zhou,et al.  Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[25]  Débora P. Ronconi,et al.  List scheduling and beam search methods for the flexible job shop scheduling problem with sequencing flexibility , 2015, Eur. J. Oper. Res..

[26]  Chien-Min Lin,et al.  A hybrid genetic algorithm for the re-entrant flow-shop scheduling problem , 2008, Expert Syst. Appl..

[27]  MengChu Zhou,et al.  An Efficient Scheduling Method for Crude Oil Operations in Refinery With Crude Oil Type Mixing Requirements , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[28]  MengChu Zhou,et al.  A Petri Net-Based Novel Scheduling Approach and Its Cycle Time Analysis for Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Semiconductor Manufacturing.

[29]  Shengwei Ding,et al.  Steady-State Throughput and Scheduling Analysis of Multi-Cluster Tools for Semiconductor Manufacturing: A Decomposition Approach , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[30]  Yun Jiang,et al.  Cyclic scheduling of a single hoist in extended electroplating lines: a comprehensive integer programming solution , 2002 .

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

[32]  Hyunbo Cho,et al.  Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[33]  Doo Yong Lee,et al.  Scheduling cluster tools in wafer fabrication using candidate list and simulated annealing , 1998, J. Intell. Manuf..

[34]  MengChu Zhou,et al.  Optimal One-Wafer Cyclic Scheduling of Single-Arm Multicluster Tools With Two-Space Buffering Modules , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[35]  MengChu Zhou,et al.  Scheduling of Dual-Arm Cluster Tools With Wafer Revisiting and Residency Time Constraints , 2014, IEEE Transactions on Industrial Informatics.

[36]  Dexian Huang,et al.  An effective hybrid DE-based algorithm for flow shop scheduling with limited buffers , 2009 .

[37]  Milind Dawande,et al.  Approximations to Optimal k‐Unit Cycles for Single‐Gripper and Dual‐Gripper Robotic Cells , 2008 .

[38]  MengChu Zhou,et al.  Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[39]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[40]  P.R. Kumar Scheduling semiconductor manufacturing plants , 1994, IEEE Control Systems.

[41]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets in modeling and analysis of cluster tools , 2001, IEEE Trans. Robotics Autom..

[42]  MengChu Zhou,et al.  Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints , 2015, IEEE Transactions on Automation Science and Engineering.

[43]  Tae-Eog Lee,et al.  An extended event graph with negative places and tokens for time window constraints , 2005, IEEE Transactions on Automation Science and Engineering.

[44]  Tae-Eog Lee,et al.  Scheduling start-up and close-down periods of dual-armed cluster tools with wafer delay regulation , 2012 .

[45]  MengChu Zhou,et al.  Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.

[46]  Hyun Joong Yoon,et al.  Online scheduling of integrated single-wafer processing tools with temporal constraints , 2005, IEEE Transactions on Semiconductor Manufacturing.

[47]  B. Naderi,et al.  The type E simple assembly line balancing problem: A mixed integer linear programming formulation , 2015, Comput. Oper. Res..

[48]  MengChu Zhou,et al.  A Novel Algorithm for Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Wafer Residency Time Constraints and Activity Time Variation , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[49]  Pierre Baptiste,et al.  Constraint-based model for the cyclic multi-hoists scheduling problem , 2000 .

[50]  Nadia Brauner Identical part production in cyclic robotic cells: Concepts, overview and open questions , 2008, Discret. Appl. Math..

[51]  Richard A. Wysk,et al.  Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .

[52]  H. Neil Geismar,et al.  Throughput Optimization in Robotic Cells , 2007 .

[53]  Kinza Nadia Mouss,et al.  A new genetic algorithm for flexible job-shop scheduling problems , 2015 .

[54]  Dexian Huang,et al.  An effective hybrid DE-based algorithm for multi-objective flow shop scheduling with limited buffers , 2009, Comput. Oper. Res..

[55]  Augusto Q. Novais,et al.  Reactive scheduling in a make-to-order flexible job shop with re-entrant process and assembly: a mathematical programming approach , 2013 .

[56]  MengChu Zhou,et al.  Petri Net-Based Polynomially Complex Approach to Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Semiconductor Manufacturing , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[57]  Ling Wang,et al.  An effective hybrid PSO-based algorithm for flow shop scheduling with limited buffers , 2008, Comput. Oper. Res..

[58]  MengChu Zhou,et al.  Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time Constraints , 2017, IEEE Transactions on Control Systems Technology.

[59]  Wai Kin Chan,et al.  Optimal Scheduling of Multicluster Tools With Constant Robot Moving Times, Part II: Tree-Like Topology Configurations , 2011, IEEE Transactions on Automation Science and Engineering.

[60]  MengChu Zhou,et al.  An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems , 2013, IEEE Transactions on Automation Science and Engineering.

[61]  D. Yang,et al.  A two-machine flowshop sequencing problem with limited waiting time constraints , 1995 .

[62]  MengChu Zhou,et al.  How to Respond to Process Module Failure in Residency Time-Constrained Single-Arm Cluster Tools , 2014, IEEE Transactions on Semiconductor Manufacturing.

[63]  MengChu Zhou,et al.  Fuzzy-Petri-net-based disassembly planning considering human factors , 2006, IEEE Trans. Syst. Man Cybern. Part A.

[64]  R. S. Gyurcsik,et al.  Single-wafer cluster tool performance: an analysis of throughput , 1994 .

[65]  Camino R. Vela,et al.  Scatter search with path relinking for the flexible job shop scheduling problem , 2015, Eur. J. Oper. Res..

[66]  Tae-Eog Lee,et al.  Modeling and implementing a real-time scheduler for dual-armed cluster tools , 2001, Comput. Ind..

[67]  Marian Wysocki,et al.  Flexible job shop with continuous material flow , 2015 .

[68]  MengChu Zhou,et al.  Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes , 2011, IEEE Transactions on Automation Science and Engineering.

[69]  Shengwei Ding,et al.  Scheduling Analysis of Cluster Tools with Buffer/Process Modules , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[70]  Tae-Eog Lee,et al.  Noncyclic Scheduling for Timed Discrete-Event Systems With Application to Single-Armed Cluster Tools Using Pareto-Optimal Optimization , 2013, IEEE Transactions on Automation Science and Engineering.

[71]  Feng Chu,et al.  A Petri Net Method for Schedulability and Scheduling Problems in Single-Arm Cluster Tools With Wafer Residency Time Constraints , 2008, IEEE Transactions on Semiconductor Manufacturing.

[72]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[73]  Chengbin Chu,et al.  Cyclic scheduling of a hoist with time window constraints , 1998, IEEE Trans. Robotics Autom..

[74]  Lionel Amodeo,et al.  New multi-objective method to solve reentrant hybrid flow shop scheduling problem , 2010, Eur. J. Oper. Res..

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

[76]  Qinghua Zhu,et al.  Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times , 2015, Comput. Oper. Res..

[77]  MuDer Jeng,et al.  Petri net modeling and lagrangian relaxation approach to vehicle scheduling in 300mm semiconductor manufacturing , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

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

[79]  Olfa Mosbahi,et al.  Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[80]  Tae-Eog Lee,et al.  Scheduling analysis of time-constrained dual-armed cluster tools , 2003 .

[81]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

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

[83]  Sunil Kumar,et al.  Queueing network models in the design and analysis of semiconductor wafer fabs , 2001, IEEE Trans. Robotics Autom..

[84]  Wai Kin Chan,et al.  Optimal Scheduling of Multicluster Tools With Constant Robot Moving Times, Part I: Two-Cluster Analysis , 2011, IEEE Transactions on Automation Science and Engineering.

[85]  P. R. Kumar,et al.  Re-entrant lines , 1993, Queueing Syst. Theory Appl..

[86]  Shengwei Ding,et al.  Multicluster tools scheduling: an integrated event graph and network model approach , 2006, IEEE Transactions on Semiconductor Manufacturing.

[87]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[88]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[89]  Jun-Ho Lee,et al.  Makespan Analysis of Lot Switching Period in Cluster Tools , 2016, IEEE Transactions on Semiconductor Manufacturing.

[90]  MengChu Zhou,et al.  Real-Time Scheduling of Single-Arm Cluster Tools Subject to Residency Time Constraints and Bounded Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.

[91]  Ghasem Moslehi,et al.  A hybrid variable neighborhood search algorithm for solving the limited-buffer permutation flow shop scheduling problem with the makespan criterion , 2014, Comput. Oper. Res..

[92]  Babak Hamidzadeh,et al.  Optimal scheduling techniques for cluster tools with process-module and transport-module residency constraints , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[93]  S. Rostami,et al.  An optimal residency-aware scheduling technique for cluster tools with buffer module , 2004, IEEE Transactions on Semiconductor Manufacturing.

[94]  Heejung Kim,et al.  Scheduling dual-armed cluster tools with cleaning processes , 2013 .

[95]  Feng Chu,et al.  Multicyclic hoist scheduling with constant processing times , 2002, IEEE Trans. Robotics Autom..

[96]  Spyros A. Reveliotis,et al.  A correct and scalable deadlock avoidance policy for flexible manufacturing systems , 1998, IEEE Trans. Robotics Autom..

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

[98]  Jun-Ho Lee,et al.  Scheduling In-Line Multiple Cluster Tools , 2015, IEEE Transactions on Semiconductor Manufacturing.

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

[100]  S. Venkatesh,et al.  A steady-state throughput analysis of cluster tools: dual-blade versus single-blade robots , 1997 .

[101]  Qi Su,et al.  Optimal sequencing of double-gripper gantry robot moves in tightly-coupled serial production systems , 1996, IEEE Trans. Robotics Autom..

[102]  MengChu Zhou,et al.  Analysis of Wafer Sojourn Time in Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2010, IEEE Transactions on Semiconductor Manufacturing.

[103]  Marco Pranzo,et al.  Batch scheduling in a two-machine flow shop with limited buffer and sequence independent setup times and removal times , 2004, Eur. J. Oper. Res..

[104]  MuDer Jeng,et al.  Markovian timed Petri nets for performance analysis of semiconductor manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[105]  MengChu Zhou,et al.  Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[106]  Ilker Baybars,et al.  A survey of exact algorithms for the simple assembly line balancing , 1986 .

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

[108]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[109]  Tae-Eog Lee,et al.  Schedulability Analysis of Time-Constrained Cluster Tools With Bounded Time Variation by an Extended Petri Net , 2008, IEEE Transactions on Automation Science and Engineering.

[110]  Wieslaw Kubiak,et al.  Sequencing of parts and robot moves in a robotic cell , 1992 .

[111]  Jean-Louis Bouquard,et al.  Two-machine flow shop scheduling problems with minimal and maximal delays , 2006, 4OR.

[112]  Babak Hamidzadeh,et al.  An optimal periodic scheduler for dual-arm robots in cluster tools with residency constraints , 2001, IEEE Trans. Robotics Autom..

[113]  MengChu Zhou,et al.  Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.

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

[115]  F.D. Vargas-Villamil,et al.  Scheduling of reentrant manufacturing lines using a model predictive control (MPC) approach , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[116]  Eugene Levner,et al.  Multiple-part cyclic hoist scheduling using a sieve method , 1999, IEEE Trans. Robotics Autom..

[117]  MengChu Zhou,et al.  Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.

[118]  MengChu Zhou,et al.  Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.

[119]  Chelliah Sriskandarajah,et al.  Scheduling in Dual Gripper Robotic Cells for Productivity Gains , 2001, IEEE Trans. Robotics Autom..

[120]  Jun-Ho Lee,et al.  Scheduling Lot Switching Operations for Cluster Tools , 2013, IEEE Transactions on Semiconductor Manufacturing.

[121]  Rafael Pastor,et al.  An improved mathematical program to solve the simple assembly line balancing problem , 2009 .

[122]  Mark A. Lawley,et al.  Deadlock avoidance for production systems with flexible routing , 1999, IEEE Trans. Robotics Autom..

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

[124]  M. Zandieh,et al.  Bi-objective hybrid flow shop scheduling with sequence-dependent setup times and limited buffers , 2012 .

[125]  MengChu Zhou,et al.  Scheduling of Single-Arm Multi-cluster Tools With Wafer Residency Time Constraints in Semiconductor Manufacturing , 2015, IEEE Transactions on Semiconductor Manufacturing.

[126]  Jun-Ho Lee,et al.  Scheduling Cluster Tools With Ready Time Constraints for Consecutive Small Lots , 2013, IEEE Transactions on Automation Science and Engineering.

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

[128]  Tae-Eog Lee,et al.  A review of scheduling theory and methods for semiconductor manufacturing cluster tools , 2008, 2008 Winter Simulation Conference.

[129]  Jun-Ho Lee,et al.  Schedulability Analysis for Noncyclic Operation of Time-Constrained Cluster Tools With Time Variation , 2016, IEEE Transactions on Automation Science and Engineering.

[130]  MengChu Zhou,et al.  Petri Net-Based Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Wafer Fabrication , 2014, IEEE Transactions on Semiconductor Manufacturing.

[131]  Hyun-Jung Kim,et al.  A Branch and Bound Algorithm for Cyclic Scheduling of Timed Petri Nets , 2015, IEEE Transactions on Automation Science and Engineering.

[132]  Mengchu Zhou,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004, IEEE/ASME Transactions on Mechatronics.

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

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

[135]  Y.-C. Hsieh,et al.  A note of using effective immune based approach for the flow shop scheduling with buffers , 2009, Appl. Math. Comput..

[136]  Milind Dawande,et al.  Throughput Optimization in Constant Travel-Time Dual Gripper Robotic Cells with Parallel Machines , 2009 .

[137]  MengChu Zhou,et al.  Petri Net Modeling and Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Residency Time Constraints and Activity Time Variation , 2012, IEEE Transactions on Semiconductor Manufacturing.

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

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

[140]  Tae-Eog Lee,et al.  Scheduling single-armed cluster tools with reentrant wafer flows , 2006 .

[141]  Guochun Tang,et al.  Heuristic algorithms for two machine re-entrant flow shop , 2008, Theor. Comput. Sci..

[142]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[143]  MengChu Zhou,et al.  Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets , 2016, IEEE Access.

[144]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[145]  Raghavan Srinivasan,et al.  Modeling and performance analysis of cluster tools using Petri nets , 1998 .

[146]  M.C. Fu,et al.  Optimal preventive maintenance scheduling in semiconductor manufacturing , 2004, IEEE Transactions on Semiconductor Manufacturing.

[147]  Jun-Ho Lee,et al.  Scheduling cluster tools for concurrent processing of two wafer types with PM sharing , 2015 .

[148]  Chengbin Chu,et al.  Cyclic hoist scheduling in large real-life electroplating lines , 2007, OR Spectr..

[149]  Naiqi Wu Avoiding deadlocks in automated manufacturing systems with shared material handling system , 1997, Proceedings of International Conference on Robotics and Automation.

[150]  MengChu Zhou,et al.  Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..

[151]  Yves Crama,et al.  Cyclic Scheduling of Identical Parts in a Robotic Cell , 1997, Oper. Res..