Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada

Detalhes bibliográficos
Autor(a) principal: Matheus Ungaretti Borges
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/32703
https://orcid.org/0000-0002-4613-7091
Resumo: In the 1960s, the mathematician and computer scientist C. A. Petri developed an important tool that allows events previously described only by temporal relations to be described by causal relations. Petri Nets (PN) formalism allows the representation of discrete event systems (DES), which are described by the sequence of events that can occur and the sequence of states that can be visited. For more than 50 years, inspired by Petri, scientists have created other net definitions that can aggregate more information and thus represent more complex systems. Such nets are able to represent more complex systems, which previously could not be described because of the explosion of states of finite state automata. Two of these are particularly important: (i) Signal Interpreted Petri Net (SIPN), capable of receiving input signals, processing them, and then providing output signals for a Programmable Logic Controller (PLC) to execute a method; (ii) Object Petri Net (OPN), capable of treating the tokens as individual objects that carry information, with different attributes and methods. These net definitions are not always able to describe a proposed problem when used separately. This work is based on the concepts of places, transitions, arcs, weight and marking function of a PN (including graphic notation), object orientation (high level) and signal interpretation (low level). The objective of this work is to formalize a new definition of Petri net that incorporates the above concepts: the Signal Interpreted Object Petri Net (SIOPN). The developed notation is applied in a case study for polishing and separating recyclable materials (metal, wood and black plastic), since recycling is a prominent topic today and may have a practical industrial application. The case study begins with all blocks in their raw state in an initial buffer. The separation is done by reading a logical combination of low level signals from inductive, optical and capacitive sensors. Once the material is identified, such information is incorporated into the object and appropriate actions are taken when and if necessary. At the end of the process, all materials will be polished and separated into their respective buffers. The implementation of SIOPN shown in this case study serves as an example for new implementations to be carried out in future works, respecting the particularities of each system.
id UFMG_6627c4eced48291a0ef54eae12d0aec0
oai_identifier_str oai:repositorio.ufmg.br:1843/32703
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Desenvolvimento de uma metodologia em redes de Petri a objetos interpretadaDevelopment of a signal interpreted object Petri nets methodologyRede de PetriRede de Petri interpretadaRede de Petri a objetosOrientação a objetoEngenharia mecânicaRedes de PetriIn the 1960s, the mathematician and computer scientist C. A. Petri developed an important tool that allows events previously described only by temporal relations to be described by causal relations. Petri Nets (PN) formalism allows the representation of discrete event systems (DES), which are described by the sequence of events that can occur and the sequence of states that can be visited. For more than 50 years, inspired by Petri, scientists have created other net definitions that can aggregate more information and thus represent more complex systems. Such nets are able to represent more complex systems, which previously could not be described because of the explosion of states of finite state automata. Two of these are particularly important: (i) Signal Interpreted Petri Net (SIPN), capable of receiving input signals, processing them, and then providing output signals for a Programmable Logic Controller (PLC) to execute a method; (ii) Object Petri Net (OPN), capable of treating the tokens as individual objects that carry information, with different attributes and methods. These net definitions are not always able to describe a proposed problem when used separately. This work is based on the concepts of places, transitions, arcs, weight and marking function of a PN (including graphic notation), object orientation (high level) and signal interpretation (low level). The objective of this work is to formalize a new definition of Petri net that incorporates the above concepts: the Signal Interpreted Object Petri Net (SIOPN). The developed notation is applied in a case study for polishing and separating recyclable materials (metal, wood and black plastic), since recycling is a prominent topic today and may have a practical industrial application. The case study begins with all blocks in their raw state in an initial buffer. The separation is done by reading a logical combination of low level signals from inductive, optical and capacitive sensors. Once the material is identified, such information is incorporated into the object and appropriate actions are taken when and if necessary. At the end of the process, all materials will be polished and separated into their respective buffers. The implementation of SIOPN shown in this case study serves as an example for new implementations to be carried out in future works, respecting the particularities of each system.Na década de 1960, o matemático e cientista da computação C. A. Petri desenvolveu uma importante ferramenta que permite que eventos antes descritos apenas por relações temporais passassem a ser descritos por relações causais. O formalismo da rede de Petri (RdP) permite a representação de sistemas a eventos discretos (SED), que são descritos pela sequência de eventos que podem ocorrer e pela sequência de estados que podem ser visitados. Durante mais de 50 anos, inspirados por Petri, cientistas criaram outras definições de redes capazes de agregar mais informações. Tais redes conseguem representar sistemas mais complexos, que antes não podiam ser descritos por causa da explosão de estados dos autômatos de estados finitos. Duas delas são particularmente importantes: (i) redes de Petri interpretadas (RdPi), capazes de receber sinais de entrada, processá-los e depois fornecer sinais de saída para um Controlador Lógico Programável (CLP) executar uma função; (ii) redes de Petri a objetos (RdPo), capazes de tratar as fichas como objetos individuais portadores de informação, com diferentes atributos e métodos. Essas definições de rede nem sempre conseguem descrever um problema proposto quando usadas separadamente. Este trabalho fundamenta-se nos conceitos de lugares, transições, arcos, função peso e marcação de uma RdP (incluindo a notação gráfica), de orientação a objetos de alto nível e de interpretação de sinais de baixo nível. O objetivo deste trabalho é formalizar uma nova definição de rede de Petri que incorpore os conceitos acima: a rede de Petri a objetos interpretada (RdPoi). A notação desenvolvida é aplicada em um estudo de caso para polimento e separação de materiais recicláveis (metal, madeira e plástico preto), visto que reciclagem é um tema de destaque atualmente e que pode ter uma aplicação industrial prática. O estudo de caso inicia-se com todas as peças em seu estado bruto em um buffer inicial. A separação é feita pela leitura de uma combinação lógica da leitura de sinais de baixo nível de sensores indutivo, óptico e capacitivo. Uma vez que o material é identificado, tal informação é incorporada ao objeto e as devidas ações são executadas quando e se necessário. Ao final do processo, todos os materiais estarão polidos e separados em seus respectivos buffers. A implementação da RdPoi mostrada neste estudo de caso serve como exemplo para que novas implementações sejam realizadas em trabalhos futuros, respeitando-se as especificidades de cada sistema.CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorUniversidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA MECÂNICAPrograma de Pós-Graduação em Engenharia MecanicaUFMGEduardo José Lima IIhttp://lattes.cnpq.br/8630634387756536Carlos Andrey MaiaPedro Henrique Ferreira MachadoMatheus Ungaretti Borges2020-03-05T15:37:40Z2020-03-05T15:37:40Z2020-02-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1843/32703https://orcid.org/0000-0002-4613-7091porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2020-03-06T06:38:55Zoai:repositorio.ufmg.br:1843/32703Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2020-03-06T06:38:55Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
Development of a signal interpreted object Petri nets methodology
title Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
spellingShingle Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
Matheus Ungaretti Borges
Rede de Petri
Rede de Petri interpretada
Rede de Petri a objetos
Orientação a objeto
Engenharia mecânica
Redes de Petri
title_short Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
title_full Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
title_fullStr Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
title_full_unstemmed Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
title_sort Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
author Matheus Ungaretti Borges
author_facet Matheus Ungaretti Borges
author_role author
dc.contributor.none.fl_str_mv Eduardo José Lima II
http://lattes.cnpq.br/8630634387756536
Carlos Andrey Maia
Pedro Henrique Ferreira Machado
dc.contributor.author.fl_str_mv Matheus Ungaretti Borges
dc.subject.por.fl_str_mv Rede de Petri
Rede de Petri interpretada
Rede de Petri a objetos
Orientação a objeto
Engenharia mecânica
Redes de Petri
topic Rede de Petri
Rede de Petri interpretada
Rede de Petri a objetos
Orientação a objeto
Engenharia mecânica
Redes de Petri
description In the 1960s, the mathematician and computer scientist C. A. Petri developed an important tool that allows events previously described only by temporal relations to be described by causal relations. Petri Nets (PN) formalism allows the representation of discrete event systems (DES), which are described by the sequence of events that can occur and the sequence of states that can be visited. For more than 50 years, inspired by Petri, scientists have created other net definitions that can aggregate more information and thus represent more complex systems. Such nets are able to represent more complex systems, which previously could not be described because of the explosion of states of finite state automata. Two of these are particularly important: (i) Signal Interpreted Petri Net (SIPN), capable of receiving input signals, processing them, and then providing output signals for a Programmable Logic Controller (PLC) to execute a method; (ii) Object Petri Net (OPN), capable of treating the tokens as individual objects that carry information, with different attributes and methods. These net definitions are not always able to describe a proposed problem when used separately. This work is based on the concepts of places, transitions, arcs, weight and marking function of a PN (including graphic notation), object orientation (high level) and signal interpretation (low level). The objective of this work is to formalize a new definition of Petri net that incorporates the above concepts: the Signal Interpreted Object Petri Net (SIOPN). The developed notation is applied in a case study for polishing and separating recyclable materials (metal, wood and black plastic), since recycling is a prominent topic today and may have a practical industrial application. The case study begins with all blocks in their raw state in an initial buffer. The separation is done by reading a logical combination of low level signals from inductive, optical and capacitive sensors. Once the material is identified, such information is incorporated into the object and appropriate actions are taken when and if necessary. At the end of the process, all materials will be polished and separated into their respective buffers. The implementation of SIOPN shown in this case study serves as an example for new implementations to be carried out in future works, respecting the particularities of each system.
publishDate 2020
dc.date.none.fl_str_mv 2020-03-05T15:37:40Z
2020-03-05T15:37:40Z
2020-02-11
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1843/32703
https://orcid.org/0000-0002-4613-7091
url http://hdl.handle.net/1843/32703
https://orcid.org/0000-0002-4613-7091
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
Brasil
ENG - DEPARTAMENTO DE ENGENHARIA MECÂNICA
Programa de Pós-Graduação em Engenharia Mecanica
UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
Brasil
ENG - DEPARTAMENTO DE ENGENHARIA MECÂNICA
Programa de Pós-Graduação em Engenharia Mecanica
UFMG
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1816829689534087168