A colored Petri net-based approach to the design of 300 mm wafer fab controllers | IEEE Conference Publication | IEEE Xplore