Modelagem Formal Utilizando Redes de Petri Coloridas de um Sistema de Automação para abastecimento e Diluição de Ácido Sulfúrico
Leandro dias da Silva1; Heitor Judiss Savino1; Tiago Figueiredo Vieira1; Davi Bibiano Brito1
1 Universidade Federal de Alagoas
Baixar PDF doi:10.20906/CPS/CBA2018-1188
Resumo
Neste artigo a modelagem formal em Redes de Petri Coloridas (RPC) de um sistema de automação para abastecimento e diluição de ácido sulfúrico 98% é apresentada. Para este tipo de sistema, é necessário analisar e validar seu funcionamento antes de sua implantação para evitar acidentes que podem ocasionar grandes perdas financeiras e mesmo de vidas humanas, além de possı́veis danos ambientais. Portanto, é necessário o uso de modelos que permitam uma representação não apenas no sistema a ser implementado no Controlador Lógico Programável (CLP) mas também da planta a ser controlada e sua interação com o sistema crı́tico de automação e controle. O foco deste trabalho é a apresentação do modelo desenvolvido e da análise formal baseada em simulações.
Palavras-chave: Redes de Petri Coloridas ; Sistemas Críticos de Automação e Controle; Métodos Formais