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

Detalhes bibliográficos
Ano de defesa: 1999
Autor(a) principal: Santos, Marcelo Cunha dos
Orientador(a): Nunes, Daltro Jose
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes : Petri
Grafos
Link de acesso: http://hdl.handle.net/10183/133748
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.
id URGS_f8fc3b464b5980195ad859eb97a6dbc1
oai_identifier_str oai:www.lume.ufrgs.br:10183/133748
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Santos, Marcelo Cunha dosNunes, Daltro JoseRibeiro, Leila2016-03-15T02:07:44Z1999http://hdl.handle.net/10183/133748000985247Este 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.application/pdfporRedes : PetriGrafosRelações formais entre gramáticas de grafos e redes de petriinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS1999mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000985247.pdf000985247.pdfTexto completoapplication/pdf942743http://www.lume.ufrgs.br/bitstream/10183/133748/1/000985247.pdfd7a9112bc6a6b4e250a16e79d0a17e8bMD51TEXT000985247.pdf.txt000985247.pdf.txtExtracted Texttext/plain255380http://www.lume.ufrgs.br/bitstream/10183/133748/2/000985247.pdf.txt6f2c83dac8d6048e36853c3284f218aaMD52THUMBNAIL000985247.pdf.jpg000985247.pdf.jpgGenerated Thumbnailimage/jpeg1051http://www.lume.ufrgs.br/bitstream/10183/133748/3/000985247.pdf.jpg5b403e4bad4067af4bfe801077697a5bMD5310183/1337482018-10-26 10:20:53.271oai:www.lume.ufrgs.br:10183/133748Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-26T13:20:53Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Relações formais entre gramáticas de grafos e redes de petri
title Relações formais entre gramáticas de grafos e redes de petri
spellingShingle Relações formais entre gramáticas de grafos e redes de petri
Santos, Marcelo Cunha dos
Redes : Petri
Grafos
title_short Relações formais entre gramáticas de grafos e redes de petri
title_full Relações formais entre gramáticas de grafos e redes de petri
title_fullStr Relações formais entre gramáticas de grafos e redes de petri
title_full_unstemmed Relações formais entre gramáticas de grafos e redes de petri
title_sort Relações formais entre gramáticas de grafos e redes de petri
author Santos, Marcelo Cunha dos
author_facet Santos, Marcelo Cunha dos
author_role author
dc.contributor.author.fl_str_mv Santos, Marcelo Cunha dos
dc.contributor.advisor1.fl_str_mv Nunes, Daltro Jose
dc.contributor.advisor-co1.fl_str_mv Ribeiro, Leila
contributor_str_mv Nunes, Daltro Jose
Ribeiro, Leila
dc.subject.por.fl_str_mv Redes : Petri
Grafos
topic Redes : Petri
Grafos
description 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.
publishDate 1999
dc.date.issued.fl_str_mv 1999
dc.date.accessioned.fl_str_mv 2016-03-15T02:07:44Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/133748
dc.identifier.nrb.pt_BR.fl_str_mv 000985247
url http://hdl.handle.net/10183/133748
identifier_str_mv 000985247
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/133748/1/000985247.pdf
http://www.lume.ufrgs.br/bitstream/10183/133748/2/000985247.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/133748/3/000985247.pdf.jpg
bitstream.checksum.fl_str_mv d7a9112bc6a6b4e250a16e79d0a17e8b
6f2c83dac8d6048e36853c3284f218aa
5b403e4bad4067af4bfe801077697a5b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1831315985853841408

Registros relacionados