MODELAGEM FORMAL UTILIZANDO REDES DE PETRI COLORIDAS DE UM SISTEMA DE AUTOMAÇÃO PARA ABASTECIMENTO E DILUIÇÃO DE  ACIDO SULFÚRICO

LEANDRO DIAS DA SILVA; HEITOR JUDISS SAVINO; TIAGO  FIGUEIREDO VIEIRA; DAVI  BIBIANO BRITO

doi:10.20906/CBA2022/499

LEANDRO DIAS DA SILVA UNIVERSIDADE FEDERAL DE ALAGOAS
HEITOR JUDISS SAVINO UNIVERSIDADE FEDERAL DE ALAGOAS
TIAGO FIGUEIREDO VIEIRA UNIVERSIDADE FEDERAL DE ALAGOAS
DAVI BIBIANO BRITO UNIVERSIDADE FEDERAL DE ALAGOAS

DOI: https://doi.org/10.20906/CBA2022/499

Keywords: Redes de Petri Coloridas, Sistemas Críticos de Automação e Controle, Métodos Formais

Abstract

Neste artigo a modelagem formal em Redes de Petri Coloridas (RPC) de um sistema de automação para bastecimento 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 Logico 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 analise formal baseada em simulações.