Desdobramento para Redes de Petri K-Limitadas

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorKunzle, Luis Allan, 1962--
Autor(es): dc.contributorSilva, Fabiano, 1972--
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática-
Autor(es): dc.creatorBenito, Franck Carlos Vélez-
Data de aceite: dc.date.accessioned2025-09-01T11:38:01Z-
Data de disponibilização: dc.date.available2025-09-01T11:38:01Z-
Data de envio: dc.date.issued2024-10-30-
Data de envio: dc.date.issued2024-10-30-
Data de envio: dc.date.issued2010-
Fonte completa do material: dc.identifierhttps://hdl.handle.net/1884/24880-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/24880-
Descrição: dc.descriptionOrientador: Prof. Dr. Luis Allan Kunzle-
Descrição: dc.descriptionCoorientador: Prof. Fabiano Silva-
Descrição: dc.descriptionDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 30/08/2010-
Descrição: dc.descriptionBibliografia: fls.66-67-
Descrição: dc.descriptionResumo: 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.-
Descrição: dc.descriptionAbstract: One of the key problems of automated systems is the reachability problem. The solution of this through the reachability graph, especially in real-world systems, generates the state explosion problem. McMillan [12] proposed a technique called unfolding which generates a new network of smaller complexity than the reachability graph, which contains the set of states reachable, thus preventing the explosion of states of systems modeled with networks Petri. This technique has several implementations, the mostly limited for safe petri nets, being that in the context of real-world systems, typically works with a limited number of resources, often more than one unit. Therefore, it is important to have an implementation of the technique of unfolding, but for k-bounded Petri nets, which allow to model systems with limited resources. This work presents, beyond important concepts of Petri nets and the unfolding process, a proposal of unfolding for k-bounded Petri nets. For the implementation was chosen one of the most prominent tools in the unfolding technique. After a detailed study of this tool, it was modified of way to incorporate the k-bounded nets unfolding. The proposal and implementation has been validated from a case study. Are presented and discussed the results, the limitations of the proposal and possible future work in this field of resea ch.-
Formato: dc.format67f. : il., grafs., tabs.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Relação: dc.relationDisponível em formato digital-
Palavras-chave: dc.subjectRedes de petri-
Palavras-chave: dc.subjectGrafo (Sistema de computador)-
Palavras-chave: dc.subjectAlgorítmos de computador-
Palavras-chave: dc.subjectCiência da computação-
Título: dc.titleDesdobramento para Redes de Petri K-Limitadas-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.