Colored Timed Petri-Nets modeling and dynamic scheduling using GA of semiconductor manufacturing

被引：0
|
作者：
Woo, KB [1 ]
Kang, SJ [1 ]
Jang, SH [1 ]
Hwang, HS [1 ]
机构：
[1] Yonsei Univ, Sch Elect & Mech Engn, Seoul 120749, South Korea
来源：
ICEMI'99: FOURTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1 AND 2, CONFERENCE PROCEEDINGS | 1999年
关键词：
colored timed petri-nets; genetic algorithm; heuristic job scheduling; semiconductor manufacturing system;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
In this paper, an effective method of system modeling and dynamic scheduling to improve operation and control for the Back-End process of semiconductor manufacturing is developed by using Colored Timed Petri-Nets (CTPNs). The simulator of a CTPNs model was utilized to generate a new heuristic scheduling method with genetic algorithm(GA) which enables us to obtain the optimal values of the weighted delay time and standard deviation of lead time.
引用
收藏
页码：52 / 59
页数：8
相关论文
共 50 条
  • [31] Affective-Cognition Modeling of Product Ecosystems Using Timed Colored Petri Nets
    Zhou, Feng
    Takahashi, Koji
    Xu, Qianli
    Jiao, Jianxin
    Zhang, Daqing
    [J]. 2009 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1689 - +
  • [32] Modeling the Design Process of Product Variants With Timed Colored Petri Nets
    Xu, Qianli
    Jiao, Jianxin
    [J]. JOURNAL OF MECHANICAL DESIGN, 2009, 131 (06)
  • [33] Modeling a FMS with colored timed object-oriented Petri nets
    Tunghai Univ, Taichung, Taiwan
    [J]. J Chin Soc Mech Eng Trans Chin Inst Eng Ser C, 6 (573-580):
  • [34] Modeling and implementing of an automated warehouse via colored timed Petri nets
    He, Shan-Jun
    Cheng, Fei
    Luo, Jian
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 935 - 940
  • [35] Optimal schedules of manufacturing cells modeling and analysis using timed Petri nets
    Zuberek, WM
    [J]. ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, 1996, : 1055 - 1060
  • [36] Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets
    Cheikhrouhou, Saoussen
    Chabouh, Nesrine
    Kallel, Slim
    Maamar, Zakaria
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 40 - 49
  • [37] Application　of　Timed　Petri　Nets　to　Analysis　and　Scheduling　of　Flexible　Manufacturing　Cells
    GUI Zhibo(Open Lab.of Compl.Syst. Eng.
    [J]. Journal of Systems Science and Systems Engineering, 1996, (02) : 232 - 239
  • [38] Markovian timed Petri nets for performance analysis of semiconductor manufacturing systems
    Jeng, MD
    Xie, XL
    Hung, WY
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 757 - 771
  • [39] Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets
    Huang, Bo
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2022, 30 (05) : 1876 - 1887
  • [40] Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures
    Lianfeng (Linda) Zhang
    Jianxin (Roger) Jiao
    [J]. Journal of Intelligent Manufacturing, 2009, 20 : 359 - 378
12345