| spelling |
Eduardo José Lima IIhttp://lattes.cnpq.br/8630634387756536Carlos Andrey MaiaPedro Henrique Ferreira Machadohttp://lattes.cnpq.br/7293052173647732Matheus Ungaretti Borges2020-03-05T15:37:40Z2020-03-05T15:37:40Z2020-02-11http://hdl.handle.net/1843/32703https://orcid.org/0000-0002-4613-7091Na 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.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.CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorporUniversidade Federal de Minas GeraisPrograma de Pós-Graduação em Engenharia MecanicaUFMGBrasilENG - DEPARTAMENTO DE ENGENHARIA MECÂNICAEngenharia mecânicaRedes de PetriRede de PetriRede de Petri interpretadaRede de Petri a objetosOrientação a objetoDesenvolvimento de uma metodologia em redes de Petri a objetos interpretadaDevelopment of a signal interpreted object Petri nets methodologyinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALDissertação TESTE PDFA.pdfDissertação TESTE PDFA.pdfapplication/pdf7456160https://repositorio.ufmg.br/bitstream/1843/32703/9/Disserta%c3%a7%c3%a3o%20TESTE%20PDFA.pdffbd36f150aeabfc2eed66c1e9b30b665MD59LICENSElicense.txtlicense.txttext/plain; charset=utf-82119https://repositorio.ufmg.br/bitstream/1843/32703/10/license.txt34badce4be7e31e3adb4575ae96af679MD510TEXTDissertação TESTE PDFA.pdf.txtDissertação TESTE PDFA.pdf.txtExtracted texttext/plain72363https://repositorio.ufmg.br/bitstream/1843/32703/11/Disserta%c3%a7%c3%a3o%20TESTE%20PDFA.pdf.txt3b974973bb0f62d604e0c274fa20f757MD5111843/327032020-03-06 03:38:55.733oai:repositorio.ufmg.br:1843/32703TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEgRE8gUkVQT1NJVMOTUklPIElOU1RJVFVDSU9OQUwgREEgVUZNRwoKQ29tIGEgYXByZXNlbnRhw6fDo28gZGVzdGEgbGljZW7Dp2EsIHZvY8OqIChvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvcikgY29uY2VkZSBhbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIChSSS1VRk1HKSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZSBpcnJldm9nw6F2ZWwgZGUgcmVwcm9kdXppciBlL291IGRpc3RyaWJ1aXIgYSBzdWEgcHVibGljYcOnw6NvIChpbmNsdWluZG8gbyByZXN1bW8pIHBvciB0b2RvIG8gbXVuZG8gbm8gZm9ybWF0byBpbXByZXNzbyBlIGVsZXRyw7RuaWNvIGUgZW0gcXVhbHF1ZXIgbWVpbywgaW5jbHVpbmRvIG9zIGZvcm1hdG9zIMOhdWRpbyBvdSB2w61kZW8uCgpWb2PDqiBkZWNsYXJhIHF1ZSBjb25oZWNlIGEgcG9sw610aWNhIGRlIGNvcHlyaWdodCBkYSBlZGl0b3JhIGRvIHNldSBkb2N1bWVudG8gZSBxdWUgY29uaGVjZSBlIGFjZWl0YSBhcyBEaXJldHJpemVzIGRvIFJJLVVGTUcuCgpWb2PDqiBjb25jb3JkYSBxdWUgbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIHBvZGUsIHNlbSBhbHRlcmFyIG8gY29udGXDumRvLCB0cmFuc3BvciBhIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGTUcgcG9kZSBtYW50ZXIgbWFpcyBkZSB1bWEgY8OzcGlhIGRlIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogZGVjbGFyYSBxdWUgYSBzdWEgcHVibGljYcOnw6NvIMOpIG9yaWdpbmFsIGUgcXVlIHZvY8OqIHRlbSBvIHBvZGVyIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIG8gZGVww7NzaXRvIGRlIHN1YSBwdWJsaWNhw6fDo28gbsOjbywgcXVlIHNlamEgZGUgc2V1IGNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHB1YmxpY2HDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiBkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgYW8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3Ugbm8gY29udGXDumRvIGRhIHB1YmxpY2HDp8OjbyBvcmEgZGVwb3NpdGFkYS4KCkNBU08gQSBQVUJMSUNBw4fDg08gT1JBIERFUE9TSVRBREEgVEVOSEEgU0lETyBSRVNVTFRBRE8gREUgVU0gUEFUUk9Dw41OSU8gT1UgQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyBUQU1Cw4lNIEFTIERFTUFJUyBPQlJJR0HDh8OVRVMgRVhJR0lEQVMgUE9SIENPTlRSQVRPIE9VIEFDT1JETy4KCk8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lKHMpIG91IG8ocykgbm9tZXMocykgZG8ocykgZGV0ZW50b3IoZXMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkYSBwdWJsaWNhw6fDo28sIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgYWzDqW0gZGFxdWVsYXMgY29uY2VkaWRhcyBwb3IgZXN0YSBsaWNlbsOnYS4KCg==Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oaiopendoar:2020-03-06T06:38:55Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
|