Relações formais entre gramáticas de grafos e redes de petri
dc.contributor.advisor | Nunes, Daltro Jose | pt_BR |
dc.contributor.author | Santos, Marcelo Cunha dos | pt_BR |
dc.date.accessioned | 2016-03-15T02:07:44Z | pt_BR |
dc.date.issued | 1999 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10183/133748 | pt_BR |
dc.description.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. | pt_BR |
dc.description.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. | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | por | pt_BR |
dc.rights | Open Access | en |
dc.subject | Redes : Petri | pt_BR |
dc.subject | Grafos | pt_BR |
dc.title | Relações formais entre gramáticas de grafos e redes de petri | pt_BR |
dc.type | Dissertação | pt_BR |
dc.contributor.advisor-co | Ribeiro, Leila | pt_BR |
dc.identifier.nrb | 000985247 | pt_BR |
dc.degree.grantor | Universidade Federal do Rio Grande do Sul | pt_BR |
dc.degree.department | Instituto de Informática | pt_BR |
dc.degree.program | Programa de Pós-Graduação em Computação | pt_BR |
dc.degree.local | Porto Alegre, BR-RS | pt_BR |
dc.degree.date | 1999 | pt_BR |
dc.degree.level | mestrado | pt_BR |
Este item está licenciado na Creative Commons License
-
Ciências Exatas e da Terra (5040)Computação (1733)