A rede de Petri consiste numa poderosa ferramenta gráfica e matemática, que tem sido desenvolvida e aprimorada para a modelagem e análise de sistemas de eventos discretos. Uma das suas limitações é a profusão de elementos gráficos para modelos relativamente grandes. Algumas redes de Petri interpretadas consistem em propostas que visam sanar este tipo de problema. Este trabalho tem por objetivo implementar um framework de edição e análise gráfica de redes de Petri, a partir de técnicas de reutilização de código como padrões de projeto. Assim, foi proposto um software aberto que viabiliza o processo de contínuo desenvolvimento, promovendo a inclusão, reutilização e aperfeiçoamento de funcionalidades. Como resultado foi possível incorporar a edição de outros tipos de redes de Petri, principalmente as interpretadas, através da reutilização de funcionalidades matemáticas e de edição gráfica da rede de Petri Lugar/Transição. / The Petri net is a powerfuI graphical and mathematical tool, which has been developed and improved to the modeling and analysis of Discrete Event Systems. One of its limitations is the large profusion of graphic elements in complex models. Some interpreted Petri nets consist in proposals to solve this kind of limitation. This work\'s main goal is to implement a Petri net graphical editor and analyzer framework, using concepts of code reuse and design patterns. In this way, an open-software was proposed, which enables the continuous development process, providing the inclusion, reuse and improvement of functionalities. As a result, it was possible to incorporate the edition of some Petri net extensions, essentially the interpreted, through the reuse of mathematical and graphical edition functionalities of Place/Transition Petri net.
| Identifer | oai:union.ndltd.org:IBICT/oai:teses.usp.br:tde-12042017-163610 |
| Date | 01 June 2001 |
| Creators | João Borsoi Soares |
| Contributors | Ricardo Yassushi Inamasu, José Carlos Maldonado, Paulo Eigi Miyagi |
| Publisher | Universidade de São Paulo, Engenharia Mecânica, USP, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da USP, instname:Universidade de São Paulo, instacron:USP |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0026 seconds