Repositório Digital

A- A A+

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

.

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

Mostrar registro completo

Estatísticas

Título Relações formais entre gramáticas de grafos e redes de petri
Autor Santos, Marcelo Cunha dos
Orientador Nunes, Daltro Jose
Co-orientador Ribeiro, Leila
Data 1999
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.
Assunto Grafos
Redes : Petri
Resumo 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.
Abstract 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.
Tipo Dissertação
URI http://hdl.handle.net/10183/133748
Arquivos Descrição Formato
000985247.pdf (942.7Kb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.