Skip to main content

and
  1. No Access

    Article

    Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

    This paper addresses the problem of real-time deadlock-free scheduling for a semiconductor track system. The system is required to process wafers continuously, cassette by cassette. The process is not necessar...

    Naiqi Wu, MengChu Zhou in OR Spectrum (2007)