A Petri net algorithm for scheduling of generic restoration actions | IEEE Journals & Magazine | IEEE Xplore