Application of colored Petri nets to distribution systems temperature adaptive switching operation | IEEE Conference Publication | IEEE Xplore