A Petri Net Method for Schedulability and Scheduling Problems in Single-Arm Cluster Tools With Wafer Residency Time Constraints

With wafer residency time constraints for some wafer fabrication processes, such as low pressure chemical-vapor deposition, the schedulability and scheduling problems are still open. This paper aims to solve both problems. A Petri net (PN) model is developed for the system. This model describes when the robot should wait and a robot wait is modeled as an event in an explicit way. Thus, to schedule a single-arm cluster tool with wafer residency time constraint is to decide how long a robot wait should be. Based on this model, for the first time, we present the necessary and sufficient conditions under which a single-arm cluster tool with residency time constraints is schedulable, which can be checked analytically. Meanwhile, a closed form scheduling algorithm is developed to find an optimal periodic schedule if it is schedulable. Also, a simple method is presented for the implementation of the periodic schedule for steady state, which is not seen in any previous work.

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

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

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

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

[5]  MengChu Zhou,et al.  Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets , 2007 .

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

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

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

[9]  Jean-Marie Proth,et al.  Scheduling no-wait production with time windows and flexible processing times , 2001, IEEE Trans. Robotics Autom..

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

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

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

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

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

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

[16]  MengChu Zhou,et al.  Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net , 2006, 2006 IEEE International Conference on Automation Science and Engineering.

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

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

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

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

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

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

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

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

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

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

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

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

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

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