Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach | IEEE Journals & Magazine | IEEE Xplore