An Extended Object-oriented Petri Nets Modeling Based Simulation Platform for Real-time Scheduling of Semiconductor Wafer Fabrication System | IEEE Conference Publication | IEEE Xplore