Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools

被引:97
作者
Zhu, QingHua [1 ]
Zhou, MengChu [2 ,3 ]
Qiao, Yan [4 ]
Wu, Naiqi [4 ]
机构
[1] Guangdong Univ Technol, Sch Comp Sci & Technol, Guangzhou 510006, Guangdong, Peoples R China
[2] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
[3] King Abdulaziz Univ, Renewable Energy Res Grp, Jeddah, Saudi Arabia
[4] Macau Univ Sci & Technol, Inst Syst Engn, Macau 999078, Peoples R China
来源
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS | 2018年 / 48卷 / 03期
基金
中国国家自然科学基金;
关键词
Cluster tool; discrete event systems; optimization; Petri net (PN); robotic systems; scheduling; wafer fabrication; SEMICONDUCTOR MANUFACTURING SYSTEMS; DEADLOCK-AVOIDANCE; SCHEDULABILITY; SIMULATION; DESIGN;
D O I
10.1109/TSMC.2016.2598303
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In wafer fabrication, a robotic cluster tool is required to be closed down in order for engineers to perform its on-demand and preventive maintenance and switch between different wafer lots. They often deal with a close-down process subject to wafer residency time constraints, i.e., a wafer must exit from a processing chamber before its quality degradation within a certain time limit. To obtain higher yield, it is very important to optimize a close-down process for a cluster tool. Yet the existing literature pays no or little attention to this issue. By focusing on a time-constrained single-arm cluster tool, this paper intends: 1) to build its Petri net model to analyze its schedulability and 2) to develop computationally efficient algorithms to find an optimal and feasible schedule for its closing-down process under different workloads at its steps. Industrial examples are used to illustrate the application of the proposed method.
引用
收藏
页码:389 / 400
页数:12
相关论文
共 71 条
[1]   Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology [J].
Bai, Liping ;
Wu, Naiqi ;
Li, Zhiwu ;
Zhou, MengChu .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (10) :1456-1467
[2]  
Cormen T. H., 2001, Introduction to Algorithms, V2nd
[3]  
Dae-Kyu Kim, 2013, 2013 IEEE International Conference on Automation Science and Engineering (CASE), P874, DOI 10.1109/CoASE.2013.6653939
[4]  
Davenport A, 2010, LECT NOTES COMPUT SC, V6140, P92, DOI 10.1007/978-3-642-13520-0_12
[5]   On throughput maximization in constant travel-time robotic cells [J].
Dawande, Milind ;
Sriskandarajah, Chelliah ;
Sethi, Suresh .
Manufacturing and Service Operations Management, 2002, 4 (04) :296-312
[6]  
Handy J., 2014, WHY ARE COMPUTER CHI
[7]   TOWARD ON-DEMAND WAFER FAB SIMULATION USING FORMAL STRUCTURE & BEHAVIOR MODELS [J].
Huang, Edward ;
Kwon, Ky Sang ;
McGinnis, Leon .
2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, :2341-2349
[8]  
Jun-Ho Lee, 2012, 2012 IEEE International Conference on Mechatronics and Automation (ICMA), P1569, DOI 10.1109/ICMA.2012.6284370
[9]   An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems [J].
Jung, Chihyun ;
Lee, Tae-Eog .
IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 2012, 25 (02) :186-199
[10]   Feedback Control of Cluster Tools for Regulating Wafer Delays [J].
Kim, Chulhan ;
Lee, Tae-Eog .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (02) :1189-1199