A rule-based expert system with colored Petri net models for distribution system service restoration | IEEE Journals & Magazine | IEEE Xplore