Um simulador de redes de petri de alto nível para uso didático

• Autor(a) principal: Glock, Flavio Soibelmann
• Data de Publicação: 1992
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
• Texto Completo: http://hdl.handle.net/10183/26545
• topic: Informática : Educação; Redes : Petri; Simulação; Petri-nets; Teach; Simulator

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.