Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual

Detalhes bibliográficos
Autor(a) principal: Ferraz, Patrícia
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/
Resumo: Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo.
id USP_ac306d9680d638416daa3d5066f92261
oai_identifier_str oai:teses.usp.br:tde-12022016-165018
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Modelagem de sistemas de eventos discretos utilizando rede de Petri virtualModeling of discrete events systems using virtual Petri netDiscrete events systemsModelagemModelingPetri netRede de PetriRede de Petri virtualSistemas de eventos discretosVirtual Petri netRede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo.Petri net is a powerful graphical and mathematical modeling tool commonly used to project Discrete Events Systems. The increasing complexity of such systems does not allow the use of Petri net tools due to the large size of the models (many graphical elements), which is difficult to understand and analyze. Due to this fact, researchers have been made efforts to the development of new synthesis methods for Petri nets, in order to reduce the models size and become easier its use and the analysis task of the systems properties. Virtual Petri net is a new kind (extension) of Petri net, combining its best in control and representation of discrete events systems to the best of modular modeling. This king of Petri net allows to build up models of complex systems from the modules that represent its elements, linked by the virtual nodes. The present work formalizes the definition of Virtual Petri Net. Also develops an algorithm to its use in the discrete events systems and presents a procedure to link and assemble the modules in the whole model. The modular modeling makes easier the understanding and graphical visualization of the system, keeping the final model the same features of the common Petri nets.Biblioteca Digitais de Teses e Dissertações da USPInamasu, Ricardo YassushiFerraz, Patrícia2004-04-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/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/openAccesspor2017-09-04T21:06:17Zoai:teses.usp.br:tde-12022016-165018Biblioteca 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:27212017-09-04T21:06:17Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
Modeling of discrete events systems using virtual Petri net
title Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
spellingShingle Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
Ferraz, Patrícia
Discrete events systems
Modelagem
Modeling
Petri net
Rede de Petri
Rede de Petri virtual
Sistemas de eventos discretos
Virtual Petri net
title_short Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
title_full Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
title_fullStr Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
title_full_unstemmed Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
title_sort Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
author Ferraz, Patrícia
author_facet Ferraz, Patrícia
author_role author
dc.contributor.none.fl_str_mv Inamasu, Ricardo Yassushi
dc.contributor.author.fl_str_mv Ferraz, Patrícia
dc.subject.por.fl_str_mv Discrete events systems
Modelagem
Modeling
Petri net
Rede de Petri
Rede de Petri virtual
Sistemas de eventos discretos
Virtual Petri net
topic Discrete events systems
Modelagem
Modeling
Petri net
Rede de Petri
Rede de Petri virtual
Sistemas de eventos discretos
Virtual Petri net
description Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo.
publishDate 2004
dc.date.none.fl_str_mv 2004-04-07
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://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/
url http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/
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_ 1809090640557899776

Registros relacionados