Gomes, LuísFeio, Ricardo Jorge Pombeiro Moreira2017-03-092017-03-092016-092017-03http://hdl.handle.net/10362/20243Os autómatos industriais têm sido continuamente usados para múltiplos fins no nosso dia-a-dia, desde as mais simples portas automáticas até às mais complexas máquinas de linhas de montagem. Para normalizar a programação dos autómatos industriais ou controladores lógicos programáveis (CLPs), foi criada a norma internacional IEC61131 e em particular a IEC61131-3, com o intuito de obrigar os fabricantes e programadores de autómatos a respeitar determinadas regras. No entanto, a norma IEC61131-3 contem linguagens de programação com certas limitações no que diz respeito à capacidade de modelar ou simular seus sistemas de controlo. As IOPT Tools, por outro lado, são uma ferramenta gráfica que permitem modelar e simular sistemas de controlo para autómatos industriais com redes de Petri IOPT. Surge o problema de traduzir a linguagem das redes de Petri para as da norma IEC61131-3. Este trabalho visa encontrar soluções para o problema da tradução de redes de Petri, em particular da ferramenta IOPT, para linguagens dos CLPs. Para tal, propõe-se um conjunto de regras de tradução de redes de Petri da classe IOPT para a linguagem de Diagramas Ladder/Lista de Instruções da Norma IEC61131-3.porRedes de PetriRdPCLPNorma IEC61131LadderIOPTmaster thesis