Modeling and analysis using Petri nets for semiconductor fabrication | IEEE Conference Publication | IEEE Xplore