Sistema computacional de representação e manipulação de redes de Petri.

Detalhes bibliográficos
Autor(a) principal: Gustavo Ribeiro Alves
Data de Publicação: 2006
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://doi.org/10.11606/D.3.2006.tde-20092023-100504
Resumo: A forma através da qual um desenvolvedor manipula uma rede de Petri em um computador difere significativamente da forma com a qual a rede é representada em trabalhos acadêmicos. Esta diferença é suficiente para provocar uma perda considerável de produtividade quando do desenvolvimento de softwares baseados em redes de Petri, uma vez que o pesquisador de redes de Petri, muitas vezes, não está familiarizado com aspectos de sua representação computacional. Assim propõe-se a criação de um sistema que reduza a diferença entre estas através de uma nova representação computacional. O sistema proposto almeja seu objetivo através de dois desacoplamentos: separação entre a interface de manipulação da rede (acesso) e a descrição da rede (meta-rede); separação da interface de manipulação e seu armazenamento. É proposta ainda uma linguagem para descrição de redes de Petri suficientemente expressiva para a representação de ampla gama de redes.
id USP_809152d6ffcc2764752af4717429034c
oai_identifier_str oai:teses.usp.br:tde-20092023-100504
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis Sistema computacional de representação e manipulação de redes de Petri. Untitled in english 2006-06-29Diolino José dos Santos FilhoJúlio ArakakiNewton MaruyamaGustavo Ribeiro AlvesUniversidade de São PauloEngenharia MecânicaUSPBR Assemblers and compilers Formal languages Linguagens formais Montadores e compiladores Petri nets Redes de Petri A forma através da qual um desenvolvedor manipula uma rede de Petri em um computador difere significativamente da forma com a qual a rede é representada em trabalhos acadêmicos. Esta diferença é suficiente para provocar uma perda considerável de produtividade quando do desenvolvimento de softwares baseados em redes de Petri, uma vez que o pesquisador de redes de Petri, muitas vezes, não está familiarizado com aspectos de sua representação computacional. Assim propõe-se a criação de um sistema que reduza a diferença entre estas através de uma nova representação computacional. O sistema proposto almeja seu objetivo através de dois desacoplamentos: separação entre a interface de manipulação da rede (acesso) e a descrição da rede (meta-rede); separação da interface de manipulação e seu armazenamento. É proposta ainda uma linguagem para descrição de redes de Petri suficientemente expressiva para a representação de ampla gama de redes. The difference between the way a developer manipulates a Petri net in a computer and the way he manipulates them outside it is great enought to allow a significant productivity loss when he wants to develop Petri net based softwares. The creation of a system that can reduce this difference is then proposed. This system accomplishes this with two decouplings. The separation between the net manipulation interface and the net description language is the first one. The second is done between the net manipulation interface and the net storage classes in such a way that it allows the same implementation for the net storage classes to be used in all the possible nets. The proposed net description language is able to represent a large number of nets. It is also capable to represent graphs that have a set of restrictions on the allowed edges. https://doi.org/10.11606/D.3.2006.tde-20092023-100504info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T19:33:48Zoai:teses.usp.br:tde-20092023-100504Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-12-22T12:59:19.676260Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.pt.fl_str_mv Sistema computacional de representação e manipulação de redes de Petri.
dc.title.alternative.en.fl_str_mv Untitled in english
title Sistema computacional de representação e manipulação de redes de Petri.
spellingShingle Sistema computacional de representação e manipulação de redes de Petri.
Gustavo Ribeiro Alves
title_short Sistema computacional de representação e manipulação de redes de Petri.
title_full Sistema computacional de representação e manipulação de redes de Petri.
title_fullStr Sistema computacional de representação e manipulação de redes de Petri.
title_full_unstemmed Sistema computacional de representação e manipulação de redes de Petri.
title_sort Sistema computacional de representação e manipulação de redes de Petri.
author Gustavo Ribeiro Alves
author_facet Gustavo Ribeiro Alves
author_role author
dc.contributor.advisor1.fl_str_mv Diolino José dos Santos Filho
dc.contributor.referee1.fl_str_mv Júlio Arakaki
dc.contributor.referee2.fl_str_mv Newton Maruyama
dc.contributor.author.fl_str_mv Gustavo Ribeiro Alves
contributor_str_mv Diolino José dos Santos Filho
Júlio Arakaki
Newton Maruyama
description A forma através da qual um desenvolvedor manipula uma rede de Petri em um computador difere significativamente da forma com a qual a rede é representada em trabalhos acadêmicos. Esta diferença é suficiente para provocar uma perda considerável de produtividade quando do desenvolvimento de softwares baseados em redes de Petri, uma vez que o pesquisador de redes de Petri, muitas vezes, não está familiarizado com aspectos de sua representação computacional. Assim propõe-se a criação de um sistema que reduza a diferença entre estas através de uma nova representação computacional. O sistema proposto almeja seu objetivo através de dois desacoplamentos: separação entre a interface de manipulação da rede (acesso) e a descrição da rede (meta-rede); separação da interface de manipulação e seu armazenamento. É proposta ainda uma linguagem para descrição de redes de Petri suficientemente expressiva para a representação de ampla gama de redes.
publishDate 2006
dc.date.issued.fl_str_mv 2006-06-29
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 https://doi.org/10.11606/D.3.2006.tde-20092023-100504
url https://doi.org/10.11606/D.3.2006.tde-20092023-100504
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.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Engenharia Mecânica
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1794502898517803008

Registros relacionados