Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Kunzle, Luis Allan, 1962- | - |
Autor(es): dc.contributor | Silva, Fabiano, 1972- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Benito, Franck Carlos Vélez | - |
Data de aceite: dc.date.accessioned | 2025-09-01T11:38:01Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T11:38:01Z | - |
Data de envio: dc.date.issued | 2024-10-30 | - |
Data de envio: dc.date.issued | 2024-10-30 | - |
Data de envio: dc.date.issued | 2010 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/24880 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/24880 | - |
Descrição: dc.description | Orientador: Prof. Dr. Luis Allan Kunzle | - |
Descrição: dc.description | Coorientador: Prof. Fabiano Silva | - |
Descrição: dc.description | Dissertaçã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.description | Bibliografia: fls.66-67 | - |
Descrição: dc.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. | - |
Descrição: dc.description | Abstract: 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.format | 67f. : il., grafs., tabs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Grafo (Sistema de computador) | - |
Palavras-chave: dc.subject | Algorítmos de computador | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Título: dc.title | Desdobramento para Redes de Petri K-Limitadas | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: