Title :
Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools
Author :
Nishi, Tomoki ; Matsumoto, Izuru
Author_Institution :
Dept. of Syst. Innovation, Osaka Univ., Toyonaka, Japan
Abstract :
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.
Keywords :
Petri nets; industrial robots; production control; scheduling; semiconductor industry; Petri net decomposition; armed robots; computational complexity; deadlock avoidance control policy; deadlock condition; deadlock-free scheduling; dual-armed cluster tool system; equipment configurations; material handling; microelectronic component fabrication; multiple wafer flow patterns; near-optimal solution; noncyclic scheduling model; robot arm; semiconductor cluster tools; silicon wafers; swap sequence; timed Petri net model; unmarked siphons; Computational modeling; Optimal scheduling; Processor scheduling; Robots; Schedules; Semiconductor device modeling; System recovery; Cluster tool scheduling; Petri net; Petri net decomposition method; deadlock avoidance; max-controlled siphon property; siphon;
Journal_Title :
Automation Science and Engineering, IEEE Transactions on
DOI :
10.1109/TASE.2013.2292572