Modeling, scheduling, and performance evaluation for wafer fabrication: a queueing colored Petri-net and GA-based approach | IEEE Journals & Magazine | IEEE Xplore