Abstract
Há vários processos críticos na indústria que são automatizados com o objetivo de otimizar os recursos disponíveis e aumentar a produção de produtos, tais como gás e petróleo. Diagramas Ladder é uma linguagem utilizada em sistemas desenvolvidos para indústria de manufatura que utiliza Controladores Lógico Programáveis. Tais sistemas possuem problemas de garantia de confiabilidade e segurança. Para simular e verificar propriedades dos sistemas, são utilizadas ferramentas matemáticas como as Redes de Petri (PN). Alguns pesquisadores propõem métodos de converter Ladder em alguma classe de PN. Este trabalho apresenta alguns métodos de conversão existentes, compara-os brevemente e apresenta uma implementação de um deles. Tal implementação converte código Ladder em modelos de Rede de Petri Colorida.
Publisher
Revista de Sistemas e Computacao - RSC