Show simple item record

dc.contributor.advisorNunes, Daltro Josept_BR
dc.contributor.authorSantos, Marcelo Cunha dospt_BR
dc.date.accessioned2016-03-15T02:07:44Zpt_BR
dc.date.issued1999pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/133748pt_BR
dc.description.abstractEste 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.abstractThis 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.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectRedes : Petript_BR
dc.subjectGrafospt_BR
dc.titleRelações formais entre gramáticas de grafos e redes de petript_BR
dc.typeDissertaçãopt_BR
dc.contributor.advisor-coRibeiro, Leilapt_BR
dc.identifier.nrb000985247pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.programPrograma de Pós-Graduação em Computaçãopt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date1999pt_BR
dc.degree.levelmestradopt_BR


Files in this item

Thumbnail
   

This item is licensed under a Creative Commons License

Show simple item record