área de pesquisa José Roberto Bezerra Uma Abordagem para Diagnóstico de Faltas em Subestações de Sistemas Elétricos de Potência baseado Redes de Petri