Hierarchical time-extended Petri nets as a generic tool for power system restoration | IEEE Journals & Magazine | IEEE Xplore