Petri net-based scheduling of time constrained single-arm cluster tools with wafer revisiting

It is very difficult to schedule a single-arm cluster tool with wafer revisiting such that wafer residency time constraints are satisfied. This article conducts a study on this challenging problem for a single-arm cluster tool with atomic layer deposition process. With a so-called p-backward strategy being applied, a Petri net model is developed to describe the dynamic behavior of the system. Based on the model, the existence of a feasible schedule is analyzed, schedulability conditions are derived, and scheduling algorithms are presented if there is a schedule. A schedule is obtained by simply setting the robot waiting time if schedulable, and it is very computationally efficient. The obtained schedule is shown to be optimal. Illustrative examples are given to demonstrate the proposed approach.

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

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

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

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

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

[6]  MengChu Zhou,et al.  Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.

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

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

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

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

[11]  Tae-Eog Lee,et al.  Scheduling single-armed cluster tools with reentrant wafer flows , 2006, IEEE Transactions on Semiconductor Manufacturing.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[32]  Chihyun Jung,et al.  Cyclic Scheduling of Cluster Tools With Nonidentical Chamber Access Times Between Parallel Chambers , 2012, IEEE Transactions on Semiconductor Manufacturing.

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

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

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

[36]  Tatsushi Nishi,et al.  Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools , 2015, IEEE Transactions on Automation Science and Engineering.

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

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

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

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

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

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

[43]  MengChu Zhou,et al.  Short-term scheduling of crude-oil operations , 2015 .

[44]  Chihyun Jung,et al.  An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems , 2012, IEEE Transactions on Semiconductor Manufacturing.