Modeling, scheduling, and prediction in wafer fabrication systems using queueing Petri net and genetic algorithm | IEEE Conference Publication | IEEE Xplore