Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

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.

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.

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.

No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, será definido um modelo de especificação para o jogo diferencial lobos e cordeiro. As Redes de Petri foram escolhidas como forma de especificação para o jogo proposto. Assim, o objetivo será estabelecer estratégias eficientes para o jogo lobos e cordeiro para que se possa realizar um estudo da complexidade das questões apresentadas para este jogo, levando-se em consideração a especificação formal apresentada para tal jogo. / In this work usual questions in differential games will be presented, in which the involved players have different objectives; that is, while one of the players tries "to run away", the other tries "to catch". Moreover, a specification for the differential game "wolves and lamb" will be defined. The Petri Nets had been chosen as specification formalism for the considered game. Thus, the objective is to establish efficient strategies for the game wolves and lamb so that we can carry out a study of the complexity of the presented questions, taking into consideration the presented formal specification for the game.