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

Detalhes bibliográficos
Autor(a) principal: Alves, Gustavo Ribeiro
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://www.teses.usp.br/teses/disponiveis/3/3152/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 Sistema computacional de representação e manipulação de redes de Petri.Untitled in englishAssemblers and compilersFormal languagesLinguagens formaisMontadores e compiladoresPetri netsRedes de PetriA 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.Biblioteca Digitais de Teses e Dissertações da USPSantos Filho, Diolino José dosAlves, Gustavo Ribeiro2006-06-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-09-20T13:17:02Zoai: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-09-20T13:17:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Sistema computacional de representação e manipulação de redes de Petri.
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.
Alves, Gustavo Ribeiro
Assemblers and compilers
Formal languages
Linguagens formais
Montadores e compiladores
Petri nets
Redes de Petri
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 Alves, Gustavo Ribeiro
author_facet Alves, Gustavo Ribeiro
author_role author
dc.contributor.none.fl_str_mv Santos Filho, Diolino José dos
dc.contributor.author.fl_str_mv Alves, Gustavo Ribeiro
dc.subject.por.fl_str_mv Assemblers and compilers
Formal languages
Linguagens formais
Montadores e compiladores
Petri nets
Redes de Petri
topic Assemblers and compilers
Formal languages
Linguagens formais
Montadores e compiladores
Petri nets
Redes de Petri
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.none.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://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
url https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
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_ 1815257183063900160

Registros relacionados