Multiple-objective real-time scheduler for semiconductor wafer fab using Colored Timed Object-oriented Petri nets (CTOPN) | IEEE Conference Publication | IEEE Xplore