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

Lei Gu, Naiqi Wu (), Tan Li, Siwei Zhang () and Wenyu Wu
Additional contact information
Lei Gu: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao 999078, China
Naiqi Wu: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao 999078, China
Tan Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao 999078, China
Siwei Zhang: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao 999078, China
Wenyu Wu: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao 999078, China

Mathematics, 2024, vol. 12, issue 18, 1-21

Abstract: 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.

Keywords: cluster tools; Petri nets; scheduling; semiconductor manufacturing (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/18/2912/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/18/2912/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:18:p:2912-:d:1481098

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().