Relações formais entre gramáticas de grafos e redes de petri

Abstract

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.