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

Página do item simplificado
dc.contributor.advisorLima, Evangivaldo Almeida
dc.contributor.authorBolzanni, Artus
dc.contributor.refereeOliveira, Paulo James de
dc.contributor.refereeSouza, Milton de
dc.date.accessioned2024-09-20T13:26:51Z
dc.date.available2024-09-20T13:26:51Z
dc.date.issued2012-08-10
dc.description.abstractNeste 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.
dc.description.abstract2On this work is proposed and implemented a conversion method for interpreted Petri nets to Programmable Logic Controllers (PLC) compatible code. This method has as one of its characteristics the division in modules of the code for PLC, detaching the Petri net logical structure from the PLC input and output interfaces. Another contribution of this research is the algorithmization and implementation of time Petri net reduction methods, making feasible the analysis of model with a very large state space. As contributions validation was used a didactic industrial plant. It was modeled with a interpreted Petri net, wich was converted to time Petri net and reduced according this work contribution, analysed according it’s execution time of determined tasks. After analysis phase, the interpreted Petri net model was converted to PLC programming language. Keywords: Petri Net, Interpreted Petri Net, Time Petri Net, Programmable Logic Con troller, Industrial Factory, Intervalar Algebra
dc.format.mimetypeapplication/pdf
dc.identifier.citationBOLZANNI, 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.
dc.identifier.urihttps://saberaberto.uneb.br/handle/20.500.11896/6250
dc.language.isopor
dc.publisherUNEB
dc.publisher.programGraduação
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/br/
dc.rights2Attribution 3.0 Brazilen
dc.subject.keywordsRede de Petri
dc.subject.keywordsControlador lógico programável
dc.subject.keywordsPlanta Industrial
dc.subject.keywordsAlgebra Intervalar
dc.titleModelagem, análise e implementação em CLP de SEDs utilizando redes de petri
dc.title.alternativeModeling, Analysis and Implementation in PLC of SEDs Using Petri Nets
dc.typeinfo:eu-repo/semantics/bachelorThesis
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Modelagem, análise e implementação_ Ártus Bolzanni.pdf
Tamanho:
1019.92 KB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
462 B
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar
Coleções
Bacharelado em Sistemas de Informação - DCET1