Abstract:In semiconductor manufacturing, when a wafer is processed, it requires unloading from its process module in a given time interval, otherwise it is scraped. This requirement is called wafer residency time constraints. Thus, it is crucial to schedule a cluster tool such that the wafer sojourn time in a process module is within a given time window to satisfy the wafer residency time constraints. Besides wafer residency time constraints, in a cluster tool, the activity time is subject to variation. The activity time variation can make a feasible schedule obtained under the assumption of deterministic activity times become infeasible. To solve this problem, it is important to reveal the wafer sojourn time fluctuations with bounded activity time variation. Such an issue is addressed in this chapter for single-arm cluster tools. A single-arm cluster tool is modeled by a resource-oriented Petri net to describe the wafer fabrication processes. Based on it, a real-time control policy is proposed such that it offsets the effect of the activity time variation as much as possible. Then, the wafer sojourn time delay in a process module is analyzed and analytical expressions are derived to calculate the upper bound. With the help of the real-time control policy and wafer sojourn time delay analysis results, schedulability conditions and scheduling algorithms for an off-line schedule are presented in this chapter. The schedulability conditions can be analytically checked. If schedulable, an off-line schedule can be analytically found. The off-line schedule together with the real-time control policy forms the real-time schedule for the system. It is optimal in terms of cycle time minimization. Examples are given to show the application of the proposed approach.

Modeling, Analysis and Simulation of Cluster Tools for Semiconductor Manufacture Using Timed Color Petri Nets

Petri net modeling analysis of processes at clutch time in NBA games

A Simulation Study for Analyzing an On-Demand Semiconductor Wafer Process

Modeling, Implementation and Simulation of Virtual Factory Based on Colored Timed Petri Net.

Modelling and Computation of Equipment Reliability for Manufacturing System Based on Petri Net

Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net

Analysis of clock synchronization protocol security using colored Petri net

The Analysis of Production Process Management Model Based on Petri Nets

Modeling And Analysis Of Stage Machinery Control Systems By Timed Colored Petri Nets

Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets

The application of Coloured Petri nets in systems analysis

Cyclic scheduling of cluster tools with equipment front-end module and multifunctional load locks

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Real-Time Scheduling and Control of Single-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation by Using Resource-Oriented Petri Nets

Colored Petri Net Models for Computer Equipment Maintenance Management at an Enterprise

Colored Petri Net Model of IEC Function Block and Its Application

A Petri Net and Extended Genetic Algorithm Combined Scheduling Method for Wafer Fabrication

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

Application of Petri Net with Objects in Safety System Process Modeling

Optimal Scheduling of Semiconductor Manufacture System Based on Improved Petri Net Model

Periodic Scheduling Optimization for Dual-Arm Cluster Tools with Arm Task and Residency Time Constraints via Petri Net Model