Using hierarchical coloured petri net to support substation restoration

In this work, a solution to restore a substation is proposed, using hierarchical coloured Petri net, in a safe, reliable, fast and efficient way. This solution intends to solve the limitations of the solutions already presented in the academic world to solve this problem. A real substation case is considered. Using formal methods, a formulation and solution to this problem through structured, scalable and compact mathematical representations are possible. Algorithms and proprieties of the used formalism let analysis formally.