Power distribution system switching operation scheduling for load balancing by using colored Petri nets | IEEE Journals & Magazine | IEEE Xplore