The application of backtracking search algorithm in hierarchical time-extended Petri net model for power system restoration | IEEE Conference Publication | IEEE Xplore