Behavior modeling and control of 300 mm fab intrabays using distributed agent oriented Petri net | IEEE Journals & Magazine | IEEE Xplore