UMA API PARA CONVERSÃO DE PROGRAMAS EM LADDER EM MODELOS DE REDES DE PETRI COLORIDAS

Abstract

There are several critical processes in the industry that are automated with the goal of optimizing available resources and increasing production of products such as gas and oil. Ladder diagrams is a language used in systems developed to manufacturing industry that uses Programmable Logic Controllers. Such systems have reliability and security issues. To simulate and verify the properties of systems, mathematical tools like Petri Nets (PN) are used. Some researchers propose methods to convert Ladder in some PN class. This work presents some conversion methods, compares them briefly, and presents an implementation of one of them. Such an implementation converts Ladder code to Colored Petri Nets model.