TY - GEN
T1 - Using hierarchical coloured petri net to support substation restoration
AU - Lisboa, Luciano A.C.
AU - Lima, Antonio M.N.
AU - Silva, Leandro D.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Automation
KW - Formal languages
KW - Petri nets
KW - Power system modeling
KW - Power system restoration
KW - Power transmission control
KW - Substations
UR - http://www.scopus.com/inward/record.url?scp=74949091080&partnerID=8YFLogxK
U2 - 10.1109/PTC.2009.5281944
DO - 10.1109/PTC.2009.5281944
M3 - Conference contribution
AN - SCOPUS:74949091080
SN - 9781424422357
T3 - 2009 IEEE Bucharest PowerTech: Innovative Ideas Toward the Electrical Grid of the Future
BT - 2009 IEEE Bucharest PowerTech
T2 - 2009 IEEE Bucharest PowerTech: Innovative Ideas Toward the Electrical Grid of the Future
Y2 - 28 June 2009 through 2 July 2009
ER -