To increase productivity, more sophisticated cluster tools are developed. To achieve this, one of the ways is to increase the number of spaces in a process module (PM) and the number of fingers on a robot arm as well, leading to a cluster tool with multi-space PMs and a multi-finger-arm robot. This paper discusses the scheduling problem of cluster tools with four-space PMs and a four-finger-arm robot, a typical tool with multi-space PMs and a multi-finger-arm robot adopted in modern fabs. With two arms in such a tool, one is used as a clean one, while the other is used as a dirty one. In this way, wafer quality can be improved. However, scheduling such cluster tools to ensure the residency time constraints is very challenging, and there is no research report on this issue. This article conducts an in-depth analysis of the steady-state scheduling for this type of cluster tools to explore the effect of different scheduling strategies. Based on the properties, four robot task sequences are presented as scheduling strategies. With them, four linear programming models are developed to optimize the cycle time of the system and find feasible schedules. The performance of these strategies is dependent on the activity parameters. Experiments are carried out to test the effect of different parameters on the performance of different strategies. It shows that, given a group of parameters, one can apply all the strategies and choose the best result obtained by one of the strategies.

In order to improve quality assurance in wafer manufacturing, there are strict process requirements. Besides the well-known residency time constraints (RTCs), a dual-arm cluster tool also requires each robot arm to execute a specific set of tasks. We call such a tool an arm task-constrained dual-arm cluster tool (ATC-DACT). To do this, one of the arms is identified as the dirty one and the other as the clean one. The dirty one can deal with raw wafers, while the clean one can deal with processed wafers. This requirement raises a new problem for scheduling a cluster tool. This paper discusses the scheduling problem of ATC-DACTs with RTCs. Due to the arm task constraints, the proven, effective swap strategy is no longer applicable to ATC-DACTs, making the scheduling problem difficult. To address this problem, we explicitly describe the robot waiting as an event and build a Petri net (PN) model. Then, we propose a hybrid task sequence (HTS) as an operation strategy by combining the swap and backward strategies. Based on the HTS, the necessary and sufficient conditions for schedulability are established; also, a linear programming model is developed. We then develop an algorithm using these results to optimally schedule the system. Industrial case studies demonstrate the application of this method.