(UNEB, 2012-08-10) Bolzanni, Artus; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton de
Neste trabalho é proposto e implementado um método de conversão de redes de Petri interpretadas para código compatível com Controladores Lógicos Programáveis (CLPs). Este método tem como uma de suas características dividir em módulos o código para CLP, separando a estrutura lógica da rede de Petri das interfaces de entrada e saída do CLP. Outra contribuição desta pesquisa é a algoritmização e implementação de métodos de redução de redes de Petri temporais, viabilizando a análise de modelos com um espaço de estados muito grande. Como validação das contribuições foi utilizada uma planta industrial didática. Esta foi modelada como uma rede de Petri interpretada, que ´e convertida para rede de Petri temporal e reduzida segundo contribuição do trabalho, foi analisada segundo seu tempo de execução de determinadas tarefas. Após a etapa de análise, o modelo em rede de Petri interpretada foi convertido para código para CLP. Palavras-chave: Rede de Petri, Rede de Petri Interpretada, Rede de Petri Temporal, Controlador Lógico Programável, Planta Industrial, Algebra Intervalar.