3D SIMULATOR OF TRACK SYSTEMS IN SEMICONDUCTOR FABRICATION. Seung Bong Hong, Doo Yong Lee, and Hyun Joong Yoon

Similar documents
Wafer Admission Control for Clustered Photolithography Tools

CRITICAL TOOLS IDENTIFICATION AND CHARACTERISTICS CURVES CONSTRUCTION IN A WAFER FABRICATION FACILITY

IEOR 130 Methods of Manufacturing Improvement Fall, 2016 Prof. Leachman Homework Problems #6 Due Tuesday Oct. 11, 2016

IEOR 130 Methods of Manufacturing Improvement Fall, 2018, Prof. Leachman Homework Assignment 8, Due Tuesday Nov. 13

IEOR 130 Methods of Manufacturing Improvement Solutions to HW #5 Fall 2018, Prof. Leachman

Part 5-1: Lithography

Proceedings of the 2016 Winter Simulation Conference T. M. K. Roeder, P. I. Frazier, R. Szechtman, E. Zhou, T. Huschka, and S. E. Chick, eds.

Lithographic Process Evaluation by CD-SEM

A Fuzzy Signal Controller for Isolated Intersections

Linearization Method Using Variable Capacitance in Inter-Stage Matching Networks for CMOS Power Amplifier

Low Power Design of Successive Approximation Registers

Efficiency Analysis of the Smart Controller Switch System using RF Communication for Energy Saving

NO COST APPLICATIONS FOR ASSEMBLY CYCLE TIME REDUCTION

A Simulation Study on Improving Throughput in a Crankshaft Line Considering Limited Budget

A FRAMEWORK FOR STANDARD MODULAR SIMULATION IN SEMICONDUCTOR WAFER FABRICATION SYSTEMS

Photolithography I ( Part 1 )

PERFORMANCE MODELLING OF RECONFIGURABLE ASSEMBLY LINE

Reducing Location Registration Cost in Mobile Cellular Networks

ECSE 6300 IC Fabrication Laboratory Lecture 3 Photolithography. Lecture Outline

Mixed Synchronous/Asynchronous State Memory for Low Power FSM Design

IEOR 130 Methods of Manufacturing Improvement Fall, 2017, Prof. Leachman Solutions to Homework Assignment 8

PROCESS-VOLTAGE-TEMPERATURE (PVT) VARIATIONS AND STATIC TIMING ANALYSIS

A 10-Gb/s Multiphase Clock and Data Recovery Circuit with a Rotational Bang-Bang Phase Detector

Introduction to Real-Time Systems

Reducing Proximity Effects in Optical Lithography

HfO 2 Based Resistive Switching Non-Volatile Memory (RRAM) and Its Potential for Embedded Applications

ScienceDirect. Optimization of Fuzzy Controller Parameters for the Temperature Control of Superheated Steam

GPS ANTENNA WITH METALLIC CONICAL STRUC- TURE FOR ANTI-JAMMING APPLICATIONS

Tables and Figures. Germination rates were significantly higher after 24 h in running water than in controls (Fig. 4).

Semiconductor Manufacturing Technology. Semiconductor Manufacturing Technology. Photolithography: Resist Development and Advanced Lithography

A LOAD BALANCING METHOD FOR DEDICATED PHOTOLITHOGRAPHY MACHINE CONSTRAINT

DiVA Digitala Vetenskapliga Arkivet

UE Counting Mechanism for MBMS Considering PtM Macro Diversity Combining Support in UMTS Networks

Shooting for the 22nm Lithography Goal with the. Coat/Develop Track. SOKUDO Lithography Breakfast Forum 2010 July 14 (L1)

THE spectral response (SR) measurement of a solar cell is

Analysis and Modeling of a Platform with Cantilever Beam using SMA Actuator Experimental Tests based on Computer Supported Education

N.B. When citing this work, cite the original published paper.

DOE Project: Resist Characterization

LARGE SCALE ERROR REDUCTION IN DITHERED ADC

Balancing Bandwidth and Bytes: Managing storage and transmission across a datacast network

Outline. 1 Introduction. 2 Basic IC fabrication processes. 3 Fabrication techniques for MEMS. 4 Applications. 5 Mechanics issues on MEMS MDL NTHU

COOLING TECHNOLOGY INSTITUTE AN INVESTIGATION OF PIN BEARING

Photolithography II ( Part 2 )

A design of 16-bit adiabatic Microprocessor core

Real-Time Feed-backed Anode Power Supply for 170GHz gyrotron in KSTAR

Design of Traffic Flow Simulation System to Minimize Intersection Waiting Time

Advanced Plasma Technology. High precision film thickness trimming for the TFH industry. Roth & Rau AG September 2009

Electromagnetic Bandgap Design for Power Distribution Network Noise Isolation in the Glass Interposer

Copyright 2002 by the Society of Photo-Optical Instrumentation Engineers.

WHITE PAPER CIRCUIT LEVEL AGING SIMULATIONS PREDICT THE LONG-TERM BEHAVIOR OF ICS

Homework 4: Understanding Graphs [based on the Chauffe & Jefferies (2007)]

NOMENCLATURE /$ IEEE IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 5, NO. 2, APRIL

Available online at ScienceDirect. Procedia Computer Science 56 (2015 )

VIEW: Visual Interactive Effective Worlds Lorentz Center International Center for workshops in the Sciences June Dr.

Extended Kalman Filtering

A novel sensing algorithm for Spin-Transfer-Torque magnetic RAM (STT-MRAM) by utilizing dynamic reference

Tutorial on the Statistical Basis of ACE-PT Inc. s Proficiency Testing Schemes

Study on Repetitive PID Control of Linear Motor in Wafer Stage of Lithography

A Study of Optimal Spatial Partition Size and Field of View in Massively Multiplayer Online Game Server

Chapter 4: The Building Blocks: Binary Numbers, Boolean Logic, and Gates

Optimized shield design for reduction of EMF from wireless power transfer systems

MICROBUMP LITHOGRAPHY FOR 3D STACKING APPLICATIONS

DISCRETE SEMICONDUCTORS DATA SHEET M3D319. BB145C Low-voltage variable capacitance diode. Preliminary specification 2001 Dec 11

Copyright 1997 by the Society of Photo-Optical Instrumentation Engineers.

Multi-level converters for three-phase photovoltaic applications

Decision Science Letters

ANALYSIS OF ELECTRON CURRENT INSTABILITY IN E-BEAM WRITER. Jan BOK, Miroslav HORÁČEK, Stanislav KRÁL, Vladimír KOLAŘÍK, František MATĚJKA

KOMPSAT-2 Orbit Determination using GPS SIgnals

Chapter 3 Describing Logic Circuits Dr. Xu

Designing the Smart Foot Mat and Its Applications: as a User Identification Sensor for Smart Home Scenarios

AS a UMTS enhancement function, High Speed Downlink

Power Loss Calculation of High Frequency Transformers

Optimization of Symmetric Spiral Inductors On Silicon Substrate

A SELECTIVE HARQ SCHEME OPERATING BASED ON CHANNEL CONDITIONS FOR HIGH SPEED PACKET DATA TRANSMISSION SYSTEMS

/14/$ IEEE 470

Stacked-FET linear SOI CMOS SPDT antenna switch with input P1dB greater than

Load Balancing for Centralized Wireless Networks

Copyright 2000 Society of Photo Instrumentation Engineers.

CS 6135 VLSI Physical Design Automation Fall 2003

Advanced Maximal Similarity Based Region Merging By User Interactions

Bearing Fault Diagnosis

Part 1: Common symbols

Profile Measurement of Resist Surface Using Multi-Array-Probe System

Touch Your Way: Haptic Sight for Visually Impaired People to Walk with Independence

Mixed Reality technology applied research on railway sector

Automatic Crack Detection on Pressed panels using camera image Processing

VLSI System Testing. Outline

Particle Swarm Optimization-Based Consensus Achievement of a Decentralized Sensor Network

New CD-SEM System for 100-nm Node Process

TUTORIAL 5997 THE BENEFITS OF THE COUPLED INDUCTOR TECHNOLOGY

Active Decap Design Considerations for Optimal Supply Noise Reduction

PATH CLEARANCE USING MULTIPLE SCOUT ROBOTS

CRYPTOSHOOTER MULTI AGENT BASED SECRET COMMUNICATION IN AUGMENTED VIRTUALITY

From Smart Machines to Smart Supply Chains: Some Missing Pieces

Major Fabrication Steps in MOS Process Flow

Design of Baugh Wooley Multiplier with Adaptive Hold Logic. M.Kavia, V.Meenakshi

Pulse Sensor Individual Progress Report

EE 105 MICROELECTRONIC DEVICES & CIRCUITS FALL 2018 C. Nguyen. Laboratory 2: Characterization of the 741 Op Amp Preliminary Exercises

Detection of a Surface-Breaking Crack Depth by Using the Surface Waves of Multiple Laser Beams

Advanced Packaging Solutions

Transcription:

Copyright 2002 IFAC 15th Triennial World Congress, Barcelona, Spain 3D SIMULATOR OF TRACK SYSTEMS IN SEMICONDUCTOR FABRICATION Seung Bong Hong, Doo Yong Lee, and Hyun Joong Yoon Department of Mechanical Engineering Korea Advanced Institute of Science and Technology 373-1 Guseong-dong Yuseong-gu, Daejeon 305-701, Republic of Korea Tel: +82-42-869-3229, FAX: +82-42-869-3210 Abstract: This paper presents a 3D simulation environment for track systems in semiconductor fabrication. The track systems together with exposure tools carry out important functions of the photolithography process of semiconductor fabrication. The developed 3D track simulator can be used for design and evaluation of track systems, and their performance analysis. The main goal of the 3D track simulator is to provide a user with more accurate simulation environment for track systems. The developed 3D simulator consists of GUI (Graphic User Interface), scheduler, animator, and performance analyzer, where the animator part is constructed based on a discrete event simulation software, AutoMod, of Autosimulations. Copyright 2002 IFAC Keywords: Simulator, semiconductor manufacturing, virtual reality. I. INTRODUCTION A track system performs photolithography process with an exposure tool called stepper. Track system is a clustered equipment composed of indexer, process modules, buffers, and transfer robots. Fig. 1 shows the typical layout of a track system. We present a 3D simulation environment for the track systems in semiconductor fabrication. The track simulator can be used for design and evaluation of track systems, and their performance analysis. The track system has complex process flows of wafers, which can be frequently changed depending on various wafer types. Scheduling of the track systems can be divided into two parts, that is, input release and dispatching. The former is to determine the type of a wafer and the time to be released into the track system. The latter is to select a wafer and an available process module for the next operation. Wein (1998) reports that good selection of scheduling rules in semiconductor fabrication may lead to 10-20% reductions in mean cycle time, and it is significantly beneficial to production smoothness and equipment utilization. A lot of scheduling rules are studied in the field of semiconductor industry Stepper Transfer robot with single blade Cell 3 Buffer Cell 2 Fig. 1. Typical layout of a track system. Cassette ports Cell 1 Process Module Indexer (Dabbas et al., 2001; Hsih et al., 1999; Thompson, 1996; Wein, 1988). However, it is difficult to select the scheduling rules appropriate for a given configuration of the track system. Performance analysis is a useful function of the 3D track simulator, which provides important measures such as makespan, utilization of process modules, mean and standard deviation of flow time, etc. The developed simulator also provides graphically and statistically accurate simulation environment for track systems. The track system is also called as a coater and developer where photoresist material is applied on a

wafer and then it is developed. Early track systems used sequential transfer technique, such as O-ring belt, air bearings, and walking beam systems, to move wafers from module to module. Randomaccess robotic system is recently employed to offer greater process flexibility (Biche, 1995). Fig. 2 shows one of the widely used track system layouts in the current semiconductor fabrication. There are 4 cells, each of which is composed of a transfer robot, and several process modules or stepper. Process modules are composed of cool plates (CP), hot plates (HP or HHP), post exposure bake hot plates (PEB), edge exposures (EE), spin coaters (SC), spin developer (SD), and low-pressure adhesions (LPAH). These process modules are plugged into each cell with two floors, and the maximum number of configurable process modules is 16 for each cell. There are cassette indexers at one end of the track system and the opposite end is linked to an exposure tool. The three robots transfer wafers from module to module in each cell, or from cell to cell, and one robot moves wafers from track system to exposure tool and vice versa. There is a three-pin stage (IF) between cells and each stage can store one wafer at a time. A stacker (STK), 2 columns with 16 rows of three-pin stages, is located between the track system and the exposure tool to store wafers. II. 3D TRACK SIMULATOR The developed 3D track simulator consists of four modules, i.e., Graphic User Interface (GUI), scheduler, animator, and performance analyzer. Fig. 3 depicts the architecture of the developed 3D track simulator. Users can enter information such as job type, lot size, layout and process routes through the GUI module constructed using Microsoft Visual Basic. The input data are conveyed to the scheduler and the animator. The animator uses software, AutoMod. The data transfer between GUI and AutoMod is implemented using ActiveX. The animator performs 3D simulation based on the online schedule generated by the scheduler. Users can evaluate various performance measures using the performance analyzer during or after the simulation. 2.1 The Graphic User Interface (GUI) The GUI module allows users to set up simulation conditions and parameters; scheduling rules, process routes of each wafer, processing time, and various machine parameters such as MTBF (Mean Time Between Failure) and MTTR (Mean Time To Repair). Fig. 4 shows the GUI module to set up the layout of the track system and to enter the operation data. The main menu panel is to select the scheduling rules, i.e., input release rule and dispatching rule, and their parameters such as the number of WIP (Work- In-Process) and input interval time. Users can switch among the view options. The layout design panel is to configure locations of each process module in the track system. Finally, in the CONTROL BOX M49 Robot4 STK Robot3 IF Robot2 IF Robot1 IF STK LAMP HOUSING M38 M39 M40 M34 M35 M36 M33 M41 M37 M45 M42 M43 M44 M46 M47 M48 M22 M23 M24 M18 M19 M20 M17 M25 M21 M29 M26 M27 M28 M30 M31 M32 M6 M7 M8 M2 M3 M4 M1 M9 M5 M13 M10 M11 M12 M14 M15 M16 Fig. 2. A detailed layout of a track system. Operation Flow List Scheduler Input release Rules - POISS, DETERM, WIP Dispatching Rules - SPT, ERT, EC Performance Analyzer : Evaluation Algorithms Graphic User Interface Data Base Scheduling Rules Machine State List Animator Indexer Discrete Event Simulation 3D Simulation AutoMod Layout Data Recording & Statistical Data Fig. 3. The architecture of the 3D track simulator. operation data input panel, users can enter detailed information of process flows of each wafer type, that is, the number of the total operations, the process modules required and their processing times for each operation step, MTBF, MTTF, etc. These operation data can be saved as an ASCII file, and used for the next simulation. 2.2 The Scheduler The scheduler generates on-line schedules using the scheduling rules determined in the GUI module. There are two primary types of scheduling decisions, i.e., input release rule and dispatching rule. Three input release rules, i.e., Poisson (POISS), Deterministic (DETERM), and WIP rules, are implemented in the developed 3D track simulator. The POISS rule releases wafers into the track system according to a Poisson distribution, and the DETERM releases wafers at fixed intervals. The WIP limits the total number of wafers currently in the track system, that is, a new wafer is released whenever a wafer finishes its entire operations and leaves the track system. For instance, WIP(k) implies that a new wafer should be released when the number of wafers in the track system drops to K-1. Wafers are released into the track system using DETERM until the current level of WIP in the track system is less than WIP(k). The 3D track simulator includes three dispatching rules, i.e., SPT, EC, and ERT. The SPT selects the

(b) (a) Fig. 4. GUI module. (a) Main menu. (b) Layout design. (c) Operation data input. (c) AutoMod Simulation Development Environment Process System AutoMod Runtime and Animation Environment AutoMod Presentation Environment(Autoview) Source Code ANSI C Compiler Movement System Fig. 5. Modular interaction of AutoMod. wafer with the shortest processing time, and the EC selects the wafer with the earliest completed prior operation. Finally, ERT selects the wafer with the earliest releasing time into the track system. 2.3 The Animator The animator presents a 3D graphic view of the simulation. AutoMod of Autosimulations, a 3D discrete event system simulation software is used for the animation (Rohrer, 2000). The AutoMod model consists of three components, i.e., process systems, movement systems, and logic source code. The process system deals with general features required for graphic model of the track system, such as process modules and wafers. The movement systems are used for the transfer robots. Finally, the logic source code includes the scheduling logic that controls the flow of wafers. Fig. 6. The graphic model of the track system. (a) 3D view and (b) 2D view. All of the created components of the track system model are compiled into a simulation code using ANSI C compiler, and then it is passed to the runtime/animation environment. The runtime environment performs the simulation and animation concurrently. Fig. 5 depicts the general interactions among the AutoMod system components. Fig. 6 illustrates the constructed graphic model of the track system, using the AutoMod in 3D view and 2D view.

Fig. 7. Utilization graph of each transfer robot. Table 1 Process flows of three wafer types Op TARC #1 TARC #2 BARC Op 1 HHP1/HHP2 (80) HHP1/HHP2 (80) HHP1/HHP2 (80) Op 2 LPAH1/LPAH2 (90) LPAH1/LPAH2 (90) LPAH1/LPAH2 (90) Op 3 CP2/CP3 (60) CP2/CP3 (60) CP2/CP3 (60) Op 4 SC1/SC2 (65) SC1/SC2 (65) SC3 (50) Op 5 SC3 (50) HP1/HP2 (90) HP1/HP5 90() Op 6 HP5/HP6 (90) CP6/CP7 (60) CP1/CP6 (60) Op 7 CP10/CP11 (60) SC3 (50) SC1/SC2 (65) Op 8 STEPPER (100) STEPPER (100) HP6/HP7 (90) Op 9 PEB1/PEB2 (90) PEB1/PEB2 (90) CP10/CP11 (60) Op 10 CP8/CP9 (60) CP8/CP9 (60) STEPPER (100) Op 11 EEW1/EEW2 (90) EEW1/EEW2 (90) PEB1/PEB2 (90) Op 12 SD1/SD2/SD3 (130) SD1/SD2/SD3 (130) CP8/CP9 (60) Op 13 HP3/HP4 (90) HP3/HP4 (90) EEW1/EEW2 (90) Op 14 CP4/CP5 (60) CP4/CP5 (60) SD1/SD2/SD3 (130) Op 15 HP3/HP4 (90) Op 16 CP4/CP5 (60) STEEPER CONTROL BOX ROBOT 4 STK LAMP HOUSING EEW2 SD2 EEW1 HP4 CP5 SD1 HP3 CP4 SC1 INDEXER LPAH1 LPAH2 ROBOT 3 IF ROBOT 2 IF ROBOT 1 IF PEB1 PEB2 CP9 CP8 CP10 SD3 CP11 HP5 CP7 HP6 HP7 CP6 SC3 Fig. 8. Layout of the track system. HHP1 HHP2 HP1 HP2 CP1 CP2 SC2 CP6 2.4 The Performance Analyzer The developed simulator evaluates various performance measures used in the field of semiconductor manufacturing (Dabbas, 2001; Nehme et al., 1994). The simulator records important time and state history data in the data base system during simulation. The main performance measures of the track system include makespan, mean and standard deviation of flow time, throughput rate, utilization of the track system and each process module, bottleneck information, etc. The makespan is the completion time of the last wafer to leave the track system, and the flow time is the interval time between the release and completion of each wafer. The throughput rate is the number of produced wafers per unit time. For example, Fig. 7 shows the performance graph related to the utilization of transfer robots. Table 2 Simulation result of single process: TARC#1 Input Rule WIP DETERM POISS Dispatching Flow Time (seconds) Rule Mean (Std. Devn. ) Utility Throughput Rate (Wafers/hrs) SPT 1560.1 (181.6) 0.3366 28.85 EC 1944.7 (328.2) 0.3364 28.85 ERT 1559.2 (182.0) 0.3366 28.85 SPT 1713.0 (447.7) 0.3366 28.62 EC 1951.9 (344.2) 0.3364 28.62 ERT 1679.1 (428.8) 0.3364 28.62 SPT 2498.5 (637.1) 0.3330 28.54 EC 2813.8 (1408.4) 0.2821 28.54 ERT 2498.5 (632.7) 0.3330 28.54 Table 3 Simulation result of mixed process with WIP(20) Dispatching Rule SPT EC ERT Wafer Type Flow Time (seconds) Mean (Std. Devn.) TARC#1 1680.4 (258.9) TARC#2 2007.0 (1292.4) BARC 3150.2 (2730.5) TARC#1 2363.4 (473.0) TARC#2 2444.2 (365.6) BARC 2612.3 (344.3) TARC#1 2508.3 (408.0) TARC#2 1822.2 (326.2) BARC 3226.1 (1306.9) III. EXPERIMENTS Utility Throughput Rate (Wafers/hrs) 0.2939 28.47 0.2814 27.46 0.2930 28.38 This section presents simulation results using the track system reported in Yoon et al. (2000). There are three types of wafers for processing: TARC#1, TARC#2, and BARC. Table 1 shows the process flows of the three wafer types. TARC#1 and TARC#2 have 14 sequential operations, and BARC has 16 sequential operations. Each number in the parenthesis denotes the processing time of the corresponding operation in seconds. The wafers are packed in a cassette when they enter the indexer of the track system. Each cassette contains 25 wafers, that is, 10 TARC#1, 10 TARC#2, and 5 BARC. Fig. 8 shows the layout of the track system with 31 process modules and 4 transfer robots. The simulation result for single process of TARC#1 is shown in Table 2. Three different dispatching rules are evaluated for each input release rule. The simulation result reveals that all the dispatching rules perform better with WIP input rule than with the other input release rules, for the flow time, utility, and throughput rate. The dispatching rule influences the mean and the standard deviation of the flow time. If the standard deviation of the flow time is small, supervisor can easily predict when a wafer will finish its operation. Table 3 shows the result of the simulation with mixed wafer types. This simulation is performed with the input release rule WIP(20). The simulation result shows that EC rule gives the best standard deviation of flow time. Fig. 9 shows the comparison of the mean and the standard deviation of the flow time under each dispatching rule. The result of the simulation with mixed wafer types

if the level of WIP becomes larger than 11. Thus, it is recommended to use WIP(11) for the input release rule. IV. CONCLUSION Fig. 9. Mean and standard deviation of flow time for mixed wafer types. A 3D simulator of the track systems is developed. The developed simulator is focused on a specific equipment, track system, rather than general manufacturing systems to provide graphically and statistically more accurate model. Users can directly use the developed simulator with the 3D graphic models similar to the real systems, to evaluate scheduling rules and analyze various performance measures. The experiments using the example track system shows that the developed simulator is effective in comparing the effects of scheduling rules and analyzing various performance measures such as throughput rate, flow time, utilization, etc. The developed track simulator can be also used for manufacturing education and training due to its simple easy-to-use operation interface. REFERENCES Fig. 10. WIP versus makespan in mixed wafer types. Fig. 11. WIP versus throughput rate in mixed wafer types. shows that there are two overwhelming bottlenecks. That is, utilization of spin coater (SC3) and stepper is very high with 0.8174 and 0.7139, respectively. Since the stepper should keep high utilization rate considering its high cost, it is desired to put another spin coater in the track system to reduce the utilization of SC3. On the other hand, the simulation result shows that the utilization of spin developer (SD3) is close to zero. Therefore, it is recommended to replace the SD3 with another spin coater to balance between the utilization of spin coater and spin developer. Fig. 10 and 11 show relationship of WIP versus makespan and throughput rate, respectively. They are plotted using the data obtained from simulation results of the mixed wafer types. The graphs show that the makespan and the throughput rate converge Wein, L.M (1988). Scheduling semiconductor wafer fabrication. IEEE Transactions on Semiconductor Manufacturing, 1, 115-130. Dabbas, R.M, H.N. Chen, J.W. Fowler, and D. Shunk, (2001). A combined dispatching criteria approach to scheduling semiconductor manufacturing systems. Computers and industrial Engineering, 39, 307-324. Hsih, B.W, C.H. Chen, and S.C. Chang (1999). Fast fab scheduling rule selection by ordinal comparison-based simulation. IEEE International Symposium on Semiconductor Manufacturing, Oct. 11-13, 1999, 53-56. Thompson, M. (1996). Simulation-based scheduling: Meeting the semiconductor wafer fabrication challenge. IIE Solutions, 30-34. Biche, M. (1995). Trends in track system architecture. Solid State Technology, May, 83-86. Rohrer, M.W. (2000). AutoMod tutorial. Proceedings of Simulation Conference, Dec. 10-13, 2000, 170-176. Nehme, D.A. and N.G. Pierce (1994). Evaluating the throughput of cluster tool using event-graph simulations. IEEE/SEMI Advanced Semiconductor Manufacturing Conference and Workshop, 189-192. Yoon, H.J. and D.Y. Lee (2000). Deadlock-free scheduling method for track systems in semiconductor fabrication. Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, Nashville, USA, Oct. 8-11, 2000, 1787-1792.