A colored Petri net models with intelligent function for power system restoration of semiconductor industry | IEEE Conference Publication | IEEE Xplore