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
关键词
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 条
  • [41] Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures
    Zhang, Lianfeng
    Jiao, Jianxin
    [J]. JOURNAL OF INTELLIGENT MANUFACTURING, 2009, 20 (04) : 359 - 378
  • [42] Modeling and simulation of a complete semiconductor manufacturing facility using Petri nets
    Becker, M
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 153 - 156
  • [43] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [44] Colored timed Petri-Net and GA based approach to modeling and scheduling for wafer probe center
    Lin, SY
    Fu, LC
    Chiang, TC
    Shen, YS
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 1434 - 1439
  • [45] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Wu, Naiqi
    Zhou, MengChu
    [J]. OR SPECTRUM, 2007, 29 (03) : 421 - 443
  • [46] Queueing generalized Stochastic colored timed Petri nets-based approach to Modeling for semiconductor wafer fabrication
    Cao, Zheng-Cai
    Qiao, Fei
    Wu, Qi-Di
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 946 - 950
  • [47] Solving resource-constrained multiple project scheduling problem using timed colored Petri nets
    Wu Y.
    Zhuang X.-C.
    Song G.-H.
    Xu X.-D.
    Li C.-X.
    [J]. Journal of Shanghai Jiaotong University (Science), 2009, 14 (6) : 713 - 719
  • [48] Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets
    Majma, Negar
    Babamir, Seyed Morteza
    Monadjemi, Amirhassan
    [J]. JOURNAL OF MEDICAL SYSTEMS, 2017, 41 (02)
  • [49] Solving Resource-constrained Multiple Project Scheduling Problem Using Timed Colored Petri Nets
    吴瑜
    庄新村
    宋国辉
    许晓栋
    李从心
    [J]. Journal of Shanghai Jiaotong University(Science), 2009, 14 (06) : 713 - 719
  • [50] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Naiqi Wu
    MengChu Zhou
    [J]. OR Spectrum, 2007, 29 : 421 - 443