Desdobramento para Redes de Petri K-Limitadas
Autor(a) principal: | |
---|---|
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 |