Devido às necessidades do mundo moderno, os sistemas de automação têm aumentado sua complexidade, fazendo com que sejam desenvolvidas ferramentas de engenharia cada vez mais poderosas para modelá-los e analisá-los. Em sistemas de automação industrial, os Controladores Lógicos Programáveis (CLPs) têm sido amplamente empregados. Os CLPs são geralmente programados por meio da linguagem de programação Ladder, uma das cinco linguagens definidas pela IEC 61131-3. Entretanto, apesar da linguagem de programação Ladder ser flexível e de fácil aprendizado por parte dos usuários, ela apresenta limitações quanto à: detecção de erros no algoritmo de controle do sistema de automação; torna as modificações muito trabalhosas e não possibilita a simulação, análise de performance e análise operacional do sistema. Este trabalho de pesquisa apresenta o desenvolvimento e os testes da metodologia denominada MARPASI - Metodologia de Aplicação das Redes de Petri em Automação de Sistemas Industriais. Como o desenvolvimento da MARPASI foi efetuado baseado na teoria de Redes de Petri, este trabalho também apresenta uma revisão bibliográfica sobre o tema de aplicação de Redes de Petri para a programação de CLP. A MARPASI possibilita analisar um sistema de automação por meio das Redes de Petri e na geração da linguagem de programação Ladder. Portanto, o emprego da MARPASI contribui para a otimização do processo de engenharia de automação e também para a programação mais eficiente de CLPs.

Due to the needs of the modern world, the systems of automation have increased their complexity, forcing the development of ever more powerful engineering tolls to shape and analyse them. In systems of industrial automation, the Programmable Logic Controllers (PLCs), have been widely applies. The PLCs are generally programmed through the use of the Ladder programming language, one of the five languages defined by the IEC 61131-3. Unfortunately, while the Ladder programming language is flexible, and easily learned by its users, it evinces limitations concerning: error detection in the control algorithm of the automation system: makes modifications very laborious and does not allow any simulation, performance analysis and operational systems analysis. This study presents the development and tests of the methodology denominated as MARPASI - Methodology of the application of Petri Net in the automation of industrial systems. Since the development of MARPASI was made based on Petri Net Theory, this study also presents a bibliographic review about the theme of the application of Petri Net for the programming of PLC. MARPASI makes it possible to analyse a system of automation through Petri Net and in the generation of the Ladder programming language. Because of these, the utilization of MARPASI contributes for capacities, the optimization of automation engineering processes, and also for a more efficient programming of the PLCs.