Wafer Residency Time Constraints Research Articles

Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools

In wafer fabrication, a robotic cluster tool is required to be closed down in order for engineers to perform its on-demand and preventive maintenance and switch between different wafer lots. They often deal with a close-down process subject to wafer residency time constraints, i.e., a wafer must exit from a processing chamber before its quality degradation within a certain time limit. To obtain higher yield, it is very important to optimize a close-down process for a cluster tool. Yet the existing literature pays no or little attention to this issue. By focusing on a time-constrained single-arm cluster tool, this paper intends: 1) to build its Petri net model to analyze its schedulability and 2) to develop computationally efficient algorithms to find an optimal and feasible schedule for its closing-down process under different workloads at its steps. Industrial examples are used to illustrate the application of the proposed method.

Optimal One-Wafer Cyclic Scheduling of Time-Constrained Hybrid Multicluster Tools via Petri Nets

Scheduling a multicluster tool with wafer residency time constraints is highly challenging yet important in ensuring high productivity of wafer fabrication. This paper presents a method to find an optimal one-wafer cyclic schedule for it. A Petri net is developed to model the dynamic behavior of the tool. By this model, a schedule of the system is analytically expressed as a function of robots’ waiting time. Based on this model, this paper presents the necessary and sufficient conditions under which a feasible one-wafer cyclic schedule exists. Then, it gives efficient algorithms to find such a schedule that is optimal. These algorithms require determining the robots’ waiting time via simple calculation and thus are efficient. Examples are given to show the application and effectiveness of the proposed method.

Cyclic Scheduling of Multi-Cluster Tools Based on Mixed Integer Programming

Multi-cluster tools are automated equipment which is increasingly used in semiconductor manufacturing. The scheduling of multi-cluster tools is much more challenging than single-cluster tools due to multi-robot coordination and increasing chambers. In this paper, we develop a mixed integer programming (MIP) model which manages to formulate the multi-robot coordination for cyclic scheduling of multi-cluster tools. Three reformulations of the model are implemented: 1) linearization; 2) eliminating integer variables; and 3) tightening constraints. The first reformulation is designed to make the MIP model solvable by commercial solvers while the other two are intended for promoting computational efficiency which is critical when chambers increase. The proposed model can meet various practical scheduling requirements such as dual-armed robots, wafer residency time constraints, parallel and reentrant processes in multi-cluster tools. Experimental results demonstrate the efficiency of the proposed method.

Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time Constraints

Due to the trends of larger wafer diameters and smaller lot sizes, cluster tools need to switch from processing one lot of wafers to another frequently. This leads to more transient periods in wafer fabrication, which includes startup and close-down processes. Their efficient scheduling and control problems become more and more important. They become very difficult to solve especially when wafer residency time constraints must be considered. Most previous studies focused on the steady periodic schedule for cluster tools. Little research was on the transient processes of cluster tools despite their increasing importance. In order to optimize a startup transient process, this work develops a Petri net model to describe its behavior for a single-arm cluster tool. Then, based on the model, for the case that the workloads among the steps can be properly balanced, this work proposes a scheduling algorithm to find an optimal and feasible schedule for the startup process. For the other cases schedulable at the steady state, a linear programming model is developed to find an optimal and feasible schedule for the startup process. Finally, illustrative examples are given to show the applications of the proposed method.

Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints

In semiconductor manufacturing, there are wafer fabrication processes with wafer revisiting. Some of them must meet wafer residency time constraints. Taking atomic layer deposition (ALD) as a typical wafer revisiting process, this paper studies the challenging scheduling problem of single-arm cluster tools for the ALD process with wafer residency time constraints. It is found that there are only several scheduling strategies that are applicable to this problem and one needs to apply each of them to decide whether a feasible schedule can be found or not. This work, for each applicable strategy, performs the schedulability analysis and derives the schedulability conditions for such tools for the first time. It proposes scheduling algorithms to obtain an optimal schedule efficiently if such conditions are met. It finally gives illustrative examples to show the application of the proposed concepts and approach.

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.

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints

In semiconductor manufacturing, wafer residency time constraints make the scheduling problem of cluster tools complicated. A process module (PM) in cluster tools is prone to failure. It is crucial to deal with any such failure in a proper and timely manner. If there are feasible periodic schedules in operating a cluster tool before and after a PM failure, it is desired to make it operate continuously when such a failure occurs. However, due to wafer residency time constraints, it is highly challenging to control a tool such that it can be correctly transferred from a feasible schedule before failure to another after it. To solve this problem, a Petri net model is developed to describe the dynamic behavior of a single-arm cluster tool and failure response policies are proposed. The proposed policies are formulated via simple control laws for their easy implementation. Examples are given to show them.

A Novel Algorithm for Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Wafer Residency Time Constraints and Activity Time Variation

This paper addresses the scheduling problem of single-arm cluster tools with both wafer residency time constraints and activity time variation in semiconductor manufacturing. Based on a Petri net model developed in our previous work, polynomial algorithms are proposed to obtain the exact upper bound of the wafer sojourn time delay for the first time. With the obtained results, one can check the feasibility of a given schedule or find a feasible and optimal one if it exists. Illustrative examples are given to show the applications of the proposed method.

Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule

Some wafer fabrication processes require a wafer to visit some processing modules in a cluster tool multiple times, leading to a wafer revisiting process. They may pose wafer residency time constraints, i.e., a wafer can stay in a module for a limited time after it is processed. Although techniques exist for scheduling cluster tools with either wafer residency time constraints or wafer revisiting, it is much more challenging to schedule tools with both of them. Considering that atomic layer deposition is a typical wafer revisiting process, this paper intends to schedule a dual-arm cluster tool dealing with it. Based on the analysis of such a tool's properties, a novel scheduling strategy called modified 1-wafer cyclic scheduling is derived. With this strategy, necessary and sufficient schedulability conditions are presented. If schedulable, highly efficient scheduling algorithms are developed to obtain a feasible and optimal schedule together with a way to implement the obtained one. Illustrative examples are given to show the application of the proposed approach.

Scheduling of Single-Arm Multi-cluster Tools With Wafer Residency Time Constraints in Semiconductor Manufacturing

This paper studies the challenging problem of scheduling single-arm multi-cluster tools with wafer residency time constraints. They have a linear topology and their bottleneck tool is process-bound. This work aims to find an optimal one-wafer cyclic schedule. With the Petri net model developed in our previous work and the minimal cycle time for a multicluster tool without wafer residency time constraints, it derives the necessary and sufficient schedulability conditions for multicluster tools with wafer residency time constraints for the first time. Then, it gives an algorithm to find an optimal one-wafer cyclic schedule if schedulable. This is done by simply setting the robots' waiting time for each tool. Thus, it is very computationally efficient and applicable to practical problems. An example is presented to illustrate the proposed method.

Petri Net Modeling and Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Residency Time Constraints and Activity Time Variation

With wafer residency time constraints, it is crucial to schedule a cluster tool in semiconductor fabrication such that the wafer sojourn time in a processing module is in a given range. However, because of the activity time variation in wafer fabrication by cluster tools, a feasible schedule obtained under the assumption of deterministic activity times may become infeasible. To solve this problem, it is critically important to reveal the wafer sojourn time fluctuations with bounded activity time variation. This paper targets at single-arm cluster tools. They are modeled by a Petri net to describe the fabrication processes. Based on the net, a real-time control policy is proposed such that its use offsets the effect of the activity time variation as much as possible. Then, the wafer sojourn time delay is analyzed and analytical expressions are given to calculate the upper bound. With the proposed method, we can check if a given schedule is feasible under bounded activity time variation. Examples are given to show the applications of the research results.

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.

An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems

Cluster tools are automated production cells which are largely used for semiconductor manufacturing. They consist of several processing modules (PMs) and a transportation robot. Since cluster tools have limited buffers and diverse scheduling requirements such as complex wafer flow patterns, parallel PMs, wafer residency time constraints, and dual-arm robot, and so on, their scheduling problems are difficult. Due to the diversity of scheduling problems, dealing with those problems one by one may be impractical. Computational complexity is another difficulty. In this paper, we propose an efficient scheduling method to deal with diverse complex cluster tool scheduling problems by using timed Petri nets (TPN). We propose TPN models of cluster tools with various scheduling requirements. Then, based on the TPN models and their state equations, we develop a new mixed integer programming (MIP) model that can efficiently determine the optimal cyclic schedules. We show that many kinds of scheduling requirements such as parallel, reentrant and multiple material flows, a dual-armed robot, and time constrained PMs can be dealt with by the MIP model. Through experiments, we also show that the MIP model can efficiently solve most practical cluster tool scheduling problems.

Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation

With wafer residency time constraint of cluster tools in semiconductor manufacturing, activity time variation can make an originally feasible schedule infeasible. Thus, it is difficult to schedule them and schedulability is a vitally important issue. With bounded activity time variation considered, this paper addresses their real-time scheduling issues and conducts their schedulability analysis. A Petri net (PN) model and a control policy are presented. Based on them, this paper derives closed-form schedulability conditions. If schedulable, an algorithm is developed to obtain an offline periodic schedule. This schedule together with the control policy forms a real-time schedule. It is optimal in terms of cycle time and can be analytically computed, which represents significant advance in this area.

A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis

Because of wafer residency time constraints for cluster tools, it is very difficult to schedule them. This paper addresses their scheduling issues and conducts their schedulability and scheduling analysis. A Petri net (PN) model is developed to model them. With this model, to schedule a dual-arm cluster tool with wafer residency time constraints is to determine when and how long the robot should wait for. Based on the model, necessary and sufficient conditions under which the system is schedulable are presented. The conditions can be checked analytically. Meanwhile, an algorithm is developed for the optimal scheduling of dual-arm cluster tools. The algorithm finds an optimal periodic schedule with closed form expressions if it is schedulable. A method is also presented for the implementation of the obtained cyclic schedule by appropriately controlling the initial transient process. Examples are presented to show the application and power of the theory and algorithm.

Analysis of Wafer Sojourn Time in Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation

When scheduling cluster tools under wafer residency time constraints, wafer sojourn time in a processing module should be carefully controlled such that it is in a permissive range. Activity time variation often results in wafer sojourn time fluctuation and makes an originally feasible schedule infeasible. Thus, it is very important to know how the wafer sojourn time changes when activity time varies. With bounded activity time variation considered, this paper conducts a detailed analysis of wafer sojourn time variation in dual-arm cluster tools. To do so, a Petri net (PN) model and a real-time control policy are presented. Based on the PN model, real-time operational architecture, and real-time control policy, this paper analyzes the effect of activity time variation on wafer sojourn time delay at a process module and presents its upper bounds. The upper bounds are given in an analytical form and can be easily evaluated. With the wafer sojourn time analysis, it is possible to develop an effective method for schedulability analysis and optimal steady-state scheduling. An example is used to show the applications of the proposed approach.

Wafer Sojourn Time Fluctuation Caused by Activity Time Variation in DualArm Cluster Tools

With wafer residency time constraints, wafer sojourn time in a processing module should be carefully controlled such that it is in a permissive range. Activity time variation often results in wafer sojourn time fluctuation and makes an originally feasible schedule infeasible. Thus, it is very important to know how the wafer sojourn time changes when activity time varies. With proposed Petri net (PN) model and real-time control policy, this paper analyzes the effect of activity time variation on wafer sojourn time delay and presents its upper bounds in dual-arm cluster tools.

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.

An Extended Event Graph With Negative Places and Tokens for Time Window Constraints

We introduce places with negative holding times and tokens with negative token counts into a timed event graph in order to model and analyze time window constraints. We extend the enabling and firing rules for such an extended event graph named a negative event graph (NEG). We develop necessary and sufficient conditions based on the circuits for which the NEG is live, that is, an infinite sequence of feasible firing epochs exist for each transition. We prove that the minimum cycle time is the same as the maximum circuit ratio of the circuits with positive token counts. We also show that when there exists circuits with negative token counts, the maximum cycle time is bounded and the same as the minimum circuit ratio of such circuits. A scheduling example for a robot-based cluster tool with wafer residency time constraints for semiconductor manufacturing is explained. Note to Practitioners-Scheduling and control problems for modern man-made systems, including automated manufacturing systems such as cluster tools for semiconductor manufacturing, microcircuits, and real-time software systems, are usually modeled as discrete event systems. Such systems often have strict time constraints on timings of some events. Our results can be used for identifying whether there can be a feasible schedule that satisfies all time constraints, computing the range of the feasible cycle times, and determining a steady schedule with the minimum cycle time. By using the feasibility condition, we also can accommodate the system configuration, the task times, and the task sequence so that the system can satisfy the time constraints while meeting the target cycle time. Such practice is already used for real cluster tool engineering. We have more results on implementing a real-time scheduler and controller for time constrained systems.