Modeling and performance evaluation of a controlled IC fab using distributed colored timed Petri net | IEEE Conference Publication | IEEE Xplore