Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri

Detalhes bibliográficos
Autor(a) principal: Kultz, Rene
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24210
Resumo: Orientador : Prof. Dr. Luis Allan Kunzle
id UFPR_cbe74eef7e03b20a72430729a30f83ba
oai_identifier_str oai:acervodigital.ufpr.br:1884/24210
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Kunzle, Luis Allan, 1962-Silva, Fabiano, 1972-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaKultz, Rene2022-12-08T19:24:44Z2022-12-08T19:24:44Z2010https://hdl.handle.net/1884/24210Orientador : Prof. Dr. Luis Allan KunzleCo-Orientador: Prof. Dr. Fabiano SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 02/06/2010Bibliografia: fls. 106-107Resumo: 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.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.107f. : il., grafs., tabs.application/pdfDisponível em formato digitalAlgorítmos de computadorTesesRedes de petriAlgorítmos de computadorHeuristicaTeoria dos grafosCiencia da computaçãoUtilização de Heurísticas de Planejamento no desdobramento de redes de Petriinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALdissertacao.pdfapplication/pdf1029029https://acervodigital.ufpr.br/bitstream/1884/24210/1/dissertacao.pdfe8fe4229543da05ad9f7074d07ddc02eMD51open accessTEXTdissertacao.pdf.txtExtracted Texttext/plain243329https://acervodigital.ufpr.br/bitstream/1884/24210/2/dissertacao.pdf.txtb5f0f9f555d79917b22ad268f8253b5cMD52open accessTHUMBNAILdissertacao.pdf.jpgGenerated Thumbnailimage/jpeg1114https://acervodigital.ufpr.br/bitstream/1884/24210/3/dissertacao.pdf.jpg59e462177b64c36de67a50fb1c9ad5f5MD53open access1884/242102022-12-08 16:24:45.025open accessoai:acervodigital.ufpr.br:1884/24210Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082022-12-08T19:24:45Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
title Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
spellingShingle Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
Kultz, Rene
Algorítmos de computador
Teses
Redes de petri
Algorítmos de computador
Heuristica
Teoria dos grafos
Ciencia da computação
title_short Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
title_full Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
title_fullStr Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
title_full_unstemmed Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
title_sort Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
author Kultz, Rene
author_facet Kultz, Rene
author_role author
dc.contributor.other.pt_BR.fl_str_mv Kunzle, Luis Allan, 1962-
Silva, Fabiano, 1972-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Kultz, Rene
dc.subject.por.fl_str_mv Algorítmos de computador
Teses
Redes de petri
Algorítmos de computador
Heuristica
Teoria dos grafos
Ciencia da computação
topic Algorítmos de computador
Teses
Redes de petri
Algorítmos de computador
Heuristica
Teoria dos grafos
Ciencia da computação
description Orientador : Prof. Dr. Luis Allan Kunzle
publishDate 2010
dc.date.issued.fl_str_mv 2010
dc.date.accessioned.fl_str_mv 2022-12-08T19:24:44Z
dc.date.available.fl_str_mv 2022-12-08T19:24:44Z
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 https://hdl.handle.net/1884/24210
url https://hdl.handle.net/1884/24210
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 107f. : il., grafs., tabs.
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/24210/1/dissertacao.pdf
https://acervodigital.ufpr.br/bitstream/1884/24210/2/dissertacao.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24210/3/dissertacao.pdf.jpg
bitstream.checksum.fl_str_mv e8fe4229543da05ad9f7074d07ddc02e
b5f0f9f555d79917b22ad268f8253b5c
59e462177b64c36de67a50fb1c9ad5f5
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_ 1801860576405618688

Registros relacionados