Real-Time Scheduling of Single-Arm Cluster Tools Subject to Residency Time Constraints and Bounded Activity Time Variation

It is very challenging to schedule cluster tools subject to wafer residency time constraints and activity time variation. This work develops a Petri net model to describe the system and proposes a two-level real-time scheduling architecture. At the lower level, a real-time control policy is used to offset the activity time variation as much as possible. At the upper level, a periodical off-line schedule is derived under the normal condition. This work presents the schedulability conditions and scheduling algorithms for an off-line schedule. The schedulability conditions can be analytically checked. If they are satisfied, an off-line schedule can be analytically found. The off-line schedule together with a real-time control policy forms the real-time schedule for the system. It is optimal in terms of cycle time minimization. Illustrative examples are given to show the application of the proposed approach. Note to Practitioners-This paper discusses the real-time scheduling problem of single-arm cluster tools with wafer residency time constraints and bounded activity time variation. With a Petri net model, schedulability is analyzed and schedulability conditions are presented by using analytical expressions. Then, an efficient algorithm is proposed to find a periodical schedule if it is schedulable. Such a schedule is optimal in terms of cycle time and can adapt to bounded activity time variation. Therefore, it is applicable to the scheduling and real-time control of cluster tools in semiconductor manufacturing plants.

[1]  Shengwei Ding,et al.  Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach , 2008, IEEE Transactions on Automation Science and Engineering.

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

[3]  MengChu Zhou,et al.  Mighty MESs; state-of-the-art and future manufacturing execution systems , 2004, IEEE Robotics & Automation Magazine.

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

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

[6]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[7]  MengChu Zhou,et al.  Virtual production lines design for back-end semiconductor manufacturing systems , 2003 .

[8]  Hyun Joong Yoon,et al.  Online scheduling of integrated single-wafer processing tools with temporal constraints , 2005 .

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

[10]  MengChu Zhou,et al.  Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations , 2008, 2008 IEEE International Conference on Automation Science and Engineering.

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

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

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

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

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

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

[17]  MengChu Zhou,et al.  Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

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

[21]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

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

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

[24]  MengChu Zhou,et al.  A systematic approach to design and operation of disassembly lines , 2006, IEEE Trans Autom. Sci. Eng..

[25]  MengChu Zhou,et al.  Single-Machine Scheduling With Job-Position-Dependent Learning and Time-Dependent Deterioration , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

[28]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[29]  Wu Qidi Performance Evaluation System for Scheduling Semiconductor Wafer Product Line , 2007 .

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

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

[32]  Milind Dawande,et al.  On Throughput Maximization in Constant Travel-Time Robotic Cells , 2002, Manuf. Serv. Oper. Manag..

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

[34]  MengChu Zhou,et al.  Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

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

[38]  MengChu Zhou,et al.  Efficient Role Transfer Based on Kuhn–Munkres Algorithm , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[39]  Fei Qiao,et al.  A Lot Dispatching Strategy Integrating WIP Management and Wafer Start Control , 2007, IEEE Transactions on Automation Science and Engineering.

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

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

[42]  MuDer Jeng,et al.  Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[44]  Mengchu Zhou,et al.  A Queuing Network-based Method for Reconfiguration of Back-end Semiconductor Manufacturing Systems with Unreliable Equipment , 2006 .

[45]  MengChu Zhou,et al.  Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes , 2011 .

[46]  NaiQi Wu,et al.  Colored timed Petri nets for modeling and analysis of cluser tools , 2010, Asian Journal of Control.

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

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

[49]  MengChu Zhou,et al.  A Petri-Net Approach to Modular Supervision With Conflict Resolution for Semiconductor Manufacturing Systems , 2007, IEEE Transactions on Automation Science and Engineering.