Desdobramento para Redes de Petri K-Limitadas

Detalhes bibliográficos
Autor(a) principal: Benito, Franck Carlos Vélez
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/24880
Resumo: Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. McMillan [12] propôs uma técnica chamada de unfolding – desdobramento – que gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que contém o conjunto de estados alcançaveis, o que permite evitar a explosão de estados de sistemas modelados com redes de Petri. Esta técnica tem várias implementações, a maioria limitada para redes de Petri seguras, sendo que no contexto dos sistemas do mundo real, geralmente trabalha-se com um número limitado de recursos, frequentemente superior a uma unidade. Por esta razão, é importante disporse de uma implementação da técnica de desdobramento, mas para redes de Petri k-limitadas, que permitem modelar sistemas com um número limitado de recursos. Neste trabalho serão apresentados, além de conceitos importantes de redes de Petri e do processo de desdobramento, uma proposta de desdobramento para redes de Petri k-limitadas. Para a implementação foi escolhida uma das ferramentas de mais destaque na técnica de desdobramento. Após um estudo aprofundado desta ferramenta, ela foi modificada de forma a incorporar o desdobramento de redes k-limitadas. A proposta e a implementação foram validadas a partir de um estudo de caso. São apresentados e discutidos os resultados obtidos, as limitações da proposta e possíveis trabalhos futuros neste campo de pesquisa.
id UFPR_bb888a00d05e175883796a93366bb542
oai_identifier_str oai:acervodigital.ufpr.br:1884/24880
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Benito, Franck Carlos VélezKunzle, Luis AllanSilva, FabianoUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática2010-11-29T12:56:39Z2010-11-29T12:56:39Z2010-11-29http://hdl.handle.net/1884/24880Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. McMillan [12] propôs uma técnica chamada de unfolding – desdobramento – que gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que contém o conjunto de estados alcançaveis, o que permite evitar a explosão de estados de sistemas modelados com redes de Petri. Esta técnica tem várias implementações, a maioria limitada para redes de Petri seguras, sendo que no contexto dos sistemas do mundo real, geralmente trabalha-se com um número limitado de recursos, frequentemente superior a uma unidade. Por esta razão, é importante disporse de uma implementação da técnica de desdobramento, mas para redes de Petri k-limitadas, que permitem modelar sistemas com um número limitado de recursos. Neste trabalho serão apresentados, além de conceitos importantes de redes de Petri e do processo de desdobramento, uma proposta de desdobramento para redes de Petri k-limitadas. Para a implementação foi escolhida uma das ferramentas de mais destaque na técnica de desdobramento. Após um estudo aprofundado desta ferramenta, ela foi modificada de forma a incorporar o desdobramento de redes k-limitadas. A proposta e a implementação foram validadas a partir de um estudo de caso. São apresentados e discutidos os resultados obtidos, as limitações da proposta e possíveis trabalhos futuros neste campo de pesquisa.application/pdfTesesRedes de petriGrafo (Sistema de computador)Algoritmos de computadorDesdobramento para Redes de Petri K-Limitadasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALdissertacao - Franck Carlos Velez Benito.pdfapplication/pdf472312https://acervodigital.ufpr.br/bitstream/1884/24880/1/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf24b66f7607b261763b66877f05423191MD51open accessTEXTdissertacao - Franck Carlos Velez Benito.pdf.txtdissertacao - Franck Carlos Velez Benito.pdf.txtExtracted Texttext/plain101010https://acervodigital.ufpr.br/bitstream/1884/24880/2/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf.txtfaa2caf84be3024a3c3ede2e2a59afd9MD52open accessTHUMBNAILdissertacao - Franck Carlos Velez Benito.pdf.jpgdissertacao - Franck Carlos Velez Benito.pdf.jpgGenerated Thumbnailimage/jpeg1120https://acervodigital.ufpr.br/bitstream/1884/24880/3/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf.jpgfa2dd666e76791c4affdbdd4306e39ccMD53open access1884/248802016-04-07 08:28:54.982open accessoai:acervodigital.ufpr.br:1884/24880Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082016-04-07T11:28:54Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Desdobramento para Redes de Petri K-Limitadas
title Desdobramento para Redes de Petri K-Limitadas
spellingShingle Desdobramento para Redes de Petri K-Limitadas
Benito, Franck Carlos Vélez
Teses
Redes de petri
Grafo (Sistema de computador)
Algoritmos de computador
title_short Desdobramento para Redes de Petri K-Limitadas
title_full Desdobramento para Redes de Petri K-Limitadas
title_fullStr Desdobramento para Redes de Petri K-Limitadas
title_full_unstemmed Desdobramento para Redes de Petri K-Limitadas
title_sort Desdobramento para Redes de Petri K-Limitadas
author Benito, Franck Carlos Vélez
author_facet Benito, Franck Carlos Vélez
author_role author
dc.contributor.other.pt_BR.fl_str_mv Kunzle, Luis Allan
Silva, Fabiano
Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática
dc.contributor.author.fl_str_mv Benito, Franck Carlos Vélez
dc.subject.por.fl_str_mv Teses
Redes de petri
Grafo (Sistema de computador)
Algoritmos de computador
topic Teses
Redes de petri
Grafo (Sistema de computador)
Algoritmos de computador
description Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. McMillan [12] propôs uma técnica chamada de unfolding – desdobramento – que gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que contém o conjunto de estados alcançaveis, o que permite evitar a explosão de estados de sistemas modelados com redes de Petri. Esta técnica tem várias implementações, a maioria limitada para redes de Petri seguras, sendo que no contexto dos sistemas do mundo real, geralmente trabalha-se com um número limitado de recursos, frequentemente superior a uma unidade. Por esta razão, é importante disporse de uma implementação da técnica de desdobramento, mas para redes de Petri k-limitadas, que permitem modelar sistemas com um número limitado de recursos. Neste trabalho serão apresentados, além de conceitos importantes de redes de Petri e do processo de desdobramento, uma proposta de desdobramento para redes de Petri k-limitadas. Para a implementação foi escolhida uma das ferramentas de mais destaque na técnica de desdobramento. Após um estudo aprofundado desta ferramenta, ela foi modificada de forma a incorporar o desdobramento de redes k-limitadas. A proposta e a implementação foram validadas a partir de um estudo de caso. São apresentados e discutidos os resultados obtidos, as limitações da proposta e possíveis trabalhos futuros neste campo de pesquisa.
publishDate 2010
dc.date.accessioned.fl_str_mv 2010-11-29T12:56:39Z
dc.date.available.fl_str_mv 2010-11-29T12:56:39Z
dc.date.issued.fl_str_mv 2010-11-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 http://hdl.handle.net/1884/24880
url http://hdl.handle.net/1884/24880
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:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24880/1/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf
https://acervodigital.ufpr.br/bitstream/1884/24880/2/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24880/3/dissertacao%20-%20Franck%20Carlos%20Velez%20Benito.pdf.jpg
bitstream.checksum.fl_str_mv 24b66f7607b261763b66877f05423191
faa2caf84be3024a3c3ede2e2a59afd9
fa2dd666e76791c4affdbdd4306e39cc
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1813898789543477248