Modelagem, análise e implementação em CLP de SEDs utilizando redes de petri

Carregando...
Imagem de Miniatura
Data
2012-08-10
Título da Revista
ISSN da Revista
Título de Volume
Editor
UNEB
Resumo

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.


Descrição
Palavras-chave
Citação
BOLZANNI, Artus. Modelagem, análise e implementação em CLP de SEDs utilizando redes de petri. Orientador: Evangivaldo Lima. 2012. 133p.Trabalho de conclusão de curso (Bacharelado em Sistemas de Informação) - Departamento de Ciências Exatas e da Terra, Campus I, Universidade do Estado da Bahia. Salvador- BA, 2012.
Palavras-chave