Modeling, scheduling, and prediction for wafer fabrication: queueing colored Petri-net and GA based approach | IEEE Conference Publication | IEEE Xplore