@article{sampaio_barroso_leão_2005,  title={Método de implementação de Sistema de Diagnóstico de Falta para subestações baseado em Redes de Petri},  volume={16},  ISSN={0103-1759},  url={https://doi.org/10.1590/S0103-17592005000400003},  DOI={10.1590/S0103-17592005000400003},  number={4},  journal={Sba: Controle & Automação Sociedade Brasileira de Automatica},  publisher={Sociedade Brasileira de Automática},  author={Sampaio, Raimundo Furtado and Barroso, Giovanni Cordeiro and Leão, Ruth Pastôra Saraiva},  year={2005},  month={Oct},  pages={417–426} }