PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri

Detalhes bibliográficos
Autor(a) principal: Tiburski Júnior, Gabriel
Data de Publicação: 2021
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/223237
Resumo: O presente trabalho tem como objetivo o desenvolvimento de uma ferramenta didática, denominada PetriFact, capaz de modelar Redes de Petri e, a partir do modelo gerado, controlar um dado sistema flexível de manufatura. Esse sistema, que é um exemplo de Sistema a Eventos Discretos (SED), é simulado pelo software FlexFact, um simulador de planta industrial. Ambas as aplicações conseguem trocar sinais entre si através do protocolo Modbus/TCP, sinais esses que serão transformados em eventos de modo a alterar seus estados internos. O estudo de caso apresentado demonstra o funcionamento da ferramenta como um todo, sendo então utilizado como base para a discussão dos objetivos alcançados. A aplicação resultante poderá ser usada para desenvolver novos trabalhos acadêmicos ou também dentro de sala de aula, sendo mantida como um projeto de código aberto. Como trabalhos futuros, são sugeridas melhorias para a interface gráfica e experiência de usuário, a implementação de técnicas de análise e resolução de conflitos para Redes de Petri e a adição de suporte ao protocolo Simplenet.
id UFRGS-2_5312ec1f2e054ca2899e4a39b93f520a
oai_identifier_str oai:www.lume.ufrgs.br:10183/223237
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Tiburski Júnior, GabrielNetto, Joao CesarGotz, Marcelo2021-07-06T04:46:17Z2021http://hdl.handle.net/10183/223237001126961O presente trabalho tem como objetivo o desenvolvimento de uma ferramenta didática, denominada PetriFact, capaz de modelar Redes de Petri e, a partir do modelo gerado, controlar um dado sistema flexível de manufatura. Esse sistema, que é um exemplo de Sistema a Eventos Discretos (SED), é simulado pelo software FlexFact, um simulador de planta industrial. Ambas as aplicações conseguem trocar sinais entre si através do protocolo Modbus/TCP, sinais esses que serão transformados em eventos de modo a alterar seus estados internos. O estudo de caso apresentado demonstra o funcionamento da ferramenta como um todo, sendo então utilizado como base para a discussão dos objetivos alcançados. A aplicação resultante poderá ser usada para desenvolver novos trabalhos acadêmicos ou também dentro de sala de aula, sendo mantida como um projeto de código aberto. Como trabalhos futuros, são sugeridas melhorias para a interface gráfica e experiência de usuário, a implementação de técnicas de análise e resolução de conflitos para Redes de Petri e a adição de suporte ao protocolo Simplenet.The present work has the objective of developing an educational tool, named PetriFact, capable of modeling Petri Nets and, from the generated model, control a given flexible manufacturing system. This system, which is an example of a Discrete Event System (DES), is simulated by the software FlexFact, which is an industrial plant simulator. Both applications are able to exchange signals through the Modbus/TCP protocol, which will be transformed into events by each one of them and used to alter their own internal states. This work provides an example that demonstrates how the tool operates as a whole, being utilized as a basis to discuss the objectives achieved. The resulting application could end up being used to develop new academic works or also inside of a classroom, being maintained as an open-source project. Improvements to the graphical interface and user experience, the implementation of analysis techniques and conflict resolution for Petri Nets, and support for the Simplenet protocol are suggested as future works.application/pdfengArquitetura : SoftwareInterface gráficaPlanta industrialInterface : RedesDiscrete event systemsPetri netsFlexFactPetriFactPetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petriPetriFact: a tool for synthesis and control of discrete-event systems based on petri nets info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2020Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001126961.pdf.txt001126961.pdf.txtExtracted Texttext/plain64479http://www.lume.ufrgs.br/bitstream/10183/223237/2/001126961.pdf.txtcec9e8a79ba39fa5c33a174d0351ef09MD52ORIGINAL001126961.pdfTexto completoapplication/pdf523255http://www.lume.ufrgs.br/bitstream/10183/223237/1/001126961.pdf82c60c850719c9fe159c2d0c49ade64cMD5110183/2232372024-04-06 06:50:20.592346oai:www.lume.ufrgs.br:10183/223237Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2024-04-06T09:50:20Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
dc.title.alternative.en.fl_str_mv PetriFact: a tool for synthesis and control of discrete-event systems based on petri nets
title PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
spellingShingle PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
Tiburski Júnior, Gabriel
Arquitetura : Software
Interface gráfica
Planta industrial
Interface : Redes
Discrete event systems
Petri nets
FlexFact
PetriFact
title_short PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
title_full PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
title_fullStr PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
title_full_unstemmed PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
title_sort PetriFact : ferramenta de síntese e controle de sistemas a eventos discretos baseada em redes de petri
author Tiburski Júnior, Gabriel
author_facet Tiburski Júnior, Gabriel
author_role author
dc.contributor.author.fl_str_mv Tiburski Júnior, Gabriel
dc.contributor.advisor1.fl_str_mv Netto, Joao Cesar
dc.contributor.advisor-co1.fl_str_mv Gotz, Marcelo
contributor_str_mv Netto, Joao Cesar
Gotz, Marcelo
dc.subject.por.fl_str_mv Arquitetura : Software
Interface gráfica
Planta industrial
Interface : Redes
topic Arquitetura : Software
Interface gráfica
Planta industrial
Interface : Redes
Discrete event systems
Petri nets
FlexFact
PetriFact
dc.subject.eng.fl_str_mv Discrete event systems
Petri nets
FlexFact
PetriFact
description O presente trabalho tem como objetivo o desenvolvimento de uma ferramenta didática, denominada PetriFact, capaz de modelar Redes de Petri e, a partir do modelo gerado, controlar um dado sistema flexível de manufatura. Esse sistema, que é um exemplo de Sistema a Eventos Discretos (SED), é simulado pelo software FlexFact, um simulador de planta industrial. Ambas as aplicações conseguem trocar sinais entre si através do protocolo Modbus/TCP, sinais esses que serão transformados em eventos de modo a alterar seus estados internos. O estudo de caso apresentado demonstra o funcionamento da ferramenta como um todo, sendo então utilizado como base para a discussão dos objetivos alcançados. A aplicação resultante poderá ser usada para desenvolver novos trabalhos acadêmicos ou também dentro de sala de aula, sendo mantida como um projeto de código aberto. Como trabalhos futuros, são sugeridas melhorias para a interface gráfica e experiência de usuário, a implementação de técnicas de análise e resolução de conflitos para Redes de Petri e a adição de suporte ao protocolo Simplenet.
publishDate 2021
dc.date.accessioned.fl_str_mv 2021-07-06T04:46:17Z
dc.date.issued.fl_str_mv 2021
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/223237
dc.identifier.nrb.pt_BR.fl_str_mv 001126961
url http://hdl.handle.net/10183/223237
identifier_str_mv 001126961
dc.language.iso.fl_str_mv eng
language eng
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.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/223237/2/001126961.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/223237/1/001126961.pdf
bitstream.checksum.fl_str_mv cec9e8a79ba39fa5c33a174d0351ef09
82c60c850719c9fe159c2d0c49ade64c
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224608695713792

Registros relacionados