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

Abstract

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.

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.