• Title/Summary/Keyword: colored timed Petri nets (CTPNs)

Search Result 1, Processing Time 0.013 seconds

Petri nets modeling and dynamic scheduling for the back-end line in semiconductor manufacturing (반도체 후공정 라인의 페트리 네트 모델링과 동적 스케쥴링)

  • Jang, Seok-Ho;Hwang, U-Guk;Park, Seung-Gyu;Go, Taek-Beom;Gu, Yeong-Mo;U, Gwang-Bang
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.5 no.6
    • /
    • pp.724-733
    • /
    • 1999
  • An effective method of system modeling and dynamic scheduling for the back-end line of semiconductor manufacturing is proposed. The virtual factory, describing semiconductor manufacturing line, is designed in detail, and then a Petri net model simulator is developed for operation and control of the modular cells of the virtual factory. The petri net model is a colored timed Petri nets (CTPNs). The simulator will be utilized to analyze and evaluate various dynamic status and operatons of manufacturing environments. The dynamic schedulaer has a hierarchical structure with the higher for planning level and the lower for dynamic scheduling level. The genetic algorithm is applied to extract optimal conditions of the scheduling algorithm. The proposed dynamic scheduling is able to realize the semiconductor manufacturing environments for the diversity of products, the variety of orders by many customers, the flexibility of order change by changing market conditions, the complexity of manufacturing processes, and the uncertainty of manufacturing resources. The proposed method of dynamic scheduling is more effective and useful in dealing with such recent pressing requirements including on-time delivery, quick response, and flexibility.

  • PDF