Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools

• Published in: IEEE transactions on automation science and engineering Vol. 12; no. 1; pp. 281 - 294
• Main Authors: Nishi, Tatsushi, Matsumoto, Izuru
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.01.2015; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Cluster tool scheduling; Clusters; Computation; Computational modeling; deadlock avoidance; Decomposition; max-controlled siphon property; Optimal scheduling; Petri net; Petri net decomposition method; Policies; Processor scheduling; Robots; Schedules; Scheduling; Semiconductor device modeling; Semiconductors; siphon; System recovery; Wafers
• ISSN: 1545-5955; 1558-3783
• DOI: 10.1109/TASE.2013.2292572

Semiconductor cluster tools are the integrated equipment to process a variety of silicon wafers for the fabrication of microelectronic components. The cluster tool system consists of several loadlock modules, processing chambers, and material handling armed robots for transferring wafers between them. Most scheduling problems for dual-armed cluster tools adopt cyclic scheduling with the assumption of swap sequence of the robot arm. A deadlock-free and non-cyclic scheduling is highly required to improve total throughput of cluster tools for various types of wafer flow patterns and various changes of equipment configurations. In this paper, we propose a Petri net decomposition approach to derive a near-optimal solution of deadlock-free and non-cyclic scheduling of dual-armed cluster tools to reduce the computational complexity. A timed Petri net model is introduced to represent a non-cyclic scheduling model for dual-armed cluster tools. In order to obtain a deadlock-free and non-cyclic schedule efficiently, we propose a deadlock avoidance control policy that restricts the markings to prevent unmarked siphons. Deadlock condition for the dual-armed cluster tools is characterized by the structure of Petri net model. The performance of the non-cyclic scheduling model by the proposed method is compared with that of the cyclic scheduling model. Computational results show the effectiveness of the non-cyclic scheduling model compared with the cyclic scheduling model for multiple wafer flow patterns.