Improving cluster tools performance using Colored Petri Nets in semiconductor manifacturing | IEEE Conference Publication | IEEE Xplore