O presente trabalho consiste na apresentação da implementação de um software projetado para auxiliar o ensino de redes de Petri de alto nível. A partir da fundamentação sobre o assunto desenvolvida em cursos introdut6rios de modelagem de sistemas com redes de Petri foi especificado um sistema para ser usado em sala de aula. O sistema desenvolvido permite a demonstração das características gráficas e da semântica de alguns modelos tradicionais de redes de Petri, tais como redes condicao/evento, redes predicado-transição e redes coloridas. Redes de baixo nivel tambem podem ser demonstradas. O software foi elaborado de forma a permitir a utilização de redes já definidas em disquete. O usuário pode também definir novas redes utilizando o editor gráfico/compilador ou se valer de uma linguagem textual de baixo nível para descrever as redes. Após a obtenção da rede desejada, é possível a realização de demonstrações, simulando o funcionamento da mesma. O software permite ainda a execução de passos, o funcionamento "para trás" da rede e identifica, a cada estado alcançado, quais alterações estão habilitadas e quais estão em conflito. Um comando permite obter o caminho entre duas marcações da rede. O usuário pode selecionar regiões de interesse sobre a rede, que sera° mostradas com mais detalhe na tela. Usando o editor gráfico/compilador o usuário pode modificar redes durante o decorrer da apresentação. A interface com o usuário, voltada para o use em sala de aula, necessita como hardware um projetor de vídeo apropriado e um computador pessoal equipado com mouse. A utilização do compilador em sala de aula exige, no entanto, mais recursos computacionais que o simulador. Alguns modelos de redes de Petri não são suportados pelo compilador, mas podem ser implementados utilizando a linguagem de baixo nível do sistema. 0 usuário, professor ou aluno, encontrará neste trabalho instruções para o emprego pratico do sistema como instrumento para a realização de demonstrações didáticas. / This work describes the implementation of a software designed as a teaching aid for instructors of high-level Petri nets. A system for class-room use is described that is based on material developed during introductory courses of systems modelling with Petri nets. The class-room system permits the demonstration of the graphic properties and the semantics of some traditional nets, such as condition/event nets, predicate-transition nets and coloured nets, as well as low level nets. The software was designed to permit the use of nets already defined in diskettes. The user can define new nets using either the graphic editor/compiler or a low level textual language. Some models of Petri nets are not supported by the compiler, but can be implemented using the low level language. After obtaining the desired net, it is possible to perform demonstrations, simulating its operation.The software also allows step by step execution of nets, including backwards execution, and identifies, for every state, which alterations may happen and which are in conflict. A command permits the user to obtain the path between two markings of the net. The user may select regions of interest over the net, that will be shown with more detail in the screen. Using the graphic editor/compiler the user may modify the nets during the presentation. The hardware needs are a video projector and a personal computer equiped with a mouse.
| Identifer | oai:union.ndltd.org:IBICT/oai:lume.ufrgs.br:10183/26545 |
| Date | January 1992 |
| Creators | Glock, Flavio Soibelmann |
| Contributors | Heuser, Carlos Alberto |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, instname:Universidade Federal do Rio Grande do Sul, instacron:UFRGS |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds