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 | Kultz, Rene | - |
Data de aceite: dc.date.accessioned | 2025-09-01T12:16:21Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T12:16:21Z | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2010 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/24210 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/24210 | - |
Descrição: dc.description | Orientador: Prof. Dr. Luis Allan Kunzle | - |
Descrição: dc.description | Coorientador: Prof. Dr. Fabiano Silva | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 02/06/2010 | - |
Descrição: dc.description | Bibliografia: fls. 106-107 | - |
Descrição: dc.description | Resumo: Diversos trabalhos envolvem a relação existente entre os problemas de Planejamento Clássico e os problemas de alcançabilidade de redes de Petri, em virtude da proximidade existente entre estes dois formalismos. Uma das técnicas que produz melhores resultados na solução de problemas de alcançabilidade é conhecida como "Desdobramento". A rede resultante do desdobramento possui complexidade exponencial em relação ao tamanho inicial da rede de Petri, ainda que produza uma rede menor do que o tamanho do grafo de alcançabilidade de redes de Petri. O objetivo deste trabalho é adaptar as heurísticas de Planejamento H¹ e H², baseadas na regressão de um estado objetivo, para guiar o processo de desdobramento da rede de Petri até que seja atingida uma marcação objetivo, permitindo que a solução possa ser extraída da rede de ocorrências gerada. Esta adaptação foi feita a partir de uma estrutura de dados chamada de vetor de cálculo, que enumera as regressões de todos os subconjuntos de tamanho menor ou igual a m, de acordo com a ordem da heurística, permitindo algumas otimizações no cálculo da heurística. Resultados experimentais foram obtidos a partir de redes de Petri geradas a partir do planejador Petrigraph, que converte problemas de planejamento clássico descritos em forma PDDL em forma de redes de Petri. Estas redes foram submetidas ao desdobramento com auxílio das heurísticas H¹ e H², sendo os resultados comparados com a heurística implementada por Töws e com o planejador Sat Plan. Também foram feitas análises envolvendo o número de expansões realizadas até ser encontrada a solução, o trabalho total realizado pela ferramenta Mole, a complexidade do vetor de cálculo e a profundidade atingida nas redes em que a solução não foi encontrada. | - |
Descrição: dc.description | Abstract: Many works involve the relation between the problems of Classical Planning and reachability in Petri nets, due the proximity existing between these two formalisms. One of the techniques that produce better results in the reachability solution is known as "unfolding". The resulting net from the unfolding process has size exponentially bigger than the size of the initial net, though this net is smaller than the size of the reachability graph. This work aims to adapt the planning heuristics H¹ and H², based on the regression from a goal state, to guide the construction of the unfolding until the goal mark can be reached, allowing that the solution can be extracted from the occurrence net generated. The adaptation was done through a data structure called vector calculus, which enumerates all the subsets with size smaller or equals to m, according the heuristic order, allowing some optimizations in the heuristic calculus. Experimental results were obtained from Petri nets generated from the planner Petrigraph, which converts classic planning problems from the format PDDL to Petri Nets. These nets were submited to unfolding using the heuristics H¹ and H², and the results were compared with the heuristic implemented by Tows and with the planner SatPlan. Besides, analysis were made involving the number of expansions done until the solution be found, the work realized by the tool Mole, the complexity from the vector calculus and the depth reached by the nets where the solution was not found. | - |
Formato: dc.format | 107f. : 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 | Algorítmos de computador | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Heuristica | - |
Palavras-chave: dc.subject | Teoria dos grafos | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Título: dc.title | Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri | - |
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: