Aplicação de formulas não-clausais em planejamento com redes de Petri

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Montaño, Razer Anthom Nizer Rojas
Orientador(a): Silva, Fabiano, 1972-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes de petri
Teoria dos grafos
Ciência da computação
Link de acesso: https://hdl.handle.net/1884/11334
Resumo: Orientador: Fabiano Silva
id UFPR_500efea31f05ac6f8a413dca562c143e
oai_identifier_str oai:acervodigital.ufpr.br:1884/11334
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaSilva, Fabiano, 1972-Montaño, Razer Anthom Nizer Rojas2024-10-24T19:25:43Z2024-10-24T19:25:43Z2006https://hdl.handle.net/1884/11334Orientador: Fabiano SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2006Inclui bibliografiaResumo: Redes de Petri (RdP) podem ser usadas para modelar um problema de planejamento de maneira similar ao uso do grafo de planos. Porém, apesar da representação em RdP apresentar características interessantes para a modelagem, encontrar o plano efetivamente tem sido um problema difícil de se tratar computacionalmente. Isto requer normalmenter esolver o problema de Alcançabilidade em Redes de Petri (PSPACE-completo) com milhares/milhões de nodos. Neste trabalho investiga-se representações e algoritmos para SAT para resolução dos conflitos na rede que levariam à solução do problema de alcançabilidade. A obtenção da instância SAT é feita a partir da RdP e leva ao estudo de formas normais não-clausais e algoritmos eficientes para as fórmulas obtidas.Abstract: Petri Nets (RdP) can be used to model planning problems in similar way to graph of plans. However, despite the representation in RdP presenting interesting characteristics for the modeling, effectively to find the plan has been a hard computational problem. This normally requires to decide the problem of Reachability in Petri Nets (PSPACE-complete) with thousands/millions of nodes. In this work, we investigate representations and algorithms for SAT for resolution of the conflicts in the net that would lead to the solution of the reachability problem. The SAT instance obtained is generated from the RdP and takes to the study of non-clausal normal forms and efficient algorithms for them.79f. : il.application/pdfDisponível em formato digitalRedes de petriTeoria dos grafosCiência da computaçãoAplicação de formulas não-clausais em planejamento com 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/openAccessORIGINALRazer_2006_dissertacao_final.pdfapplication/pdf449065https://acervodigital.ufpr.br/bitstream/1884/11334/1/Razer_2006_dissertacao_final.pdf0224a4205c58a90a0cec1905c414740cMD51open accessTEXTRazer_2006_dissertacao_final.pdf.txtExtracted Texttext/plain131448https://acervodigital.ufpr.br/bitstream/1884/11334/2/Razer_2006_dissertacao_final.pdf.txt7ce47fc45d38f4036be5152db66c08c9MD52open accessTHUMBNAILRazer_2006_dissertacao_final.pdf.jpgGenerated Thumbnailimage/jpeg1182https://acervodigital.ufpr.br/bitstream/1884/11334/3/Razer_2006_dissertacao_final.pdf.jpg8c6e0a3d8f476c6d6e7c869f82a392a8MD53open access1884/113342024-10-24 16:25:43.968open accessoai:acervodigital.ufpr.br:1884/11334Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-24T19:25:43Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Aplicação de formulas não-clausais em planejamento com redes de Petri
title Aplicação de formulas não-clausais em planejamento com redes de Petri
spellingShingle Aplicação de formulas não-clausais em planejamento com redes de Petri
Montaño, Razer Anthom Nizer Rojas
Redes de petri
Teoria dos grafos
Ciência da computação
title_short Aplicação de formulas não-clausais em planejamento com redes de Petri
title_full Aplicação de formulas não-clausais em planejamento com redes de Petri
title_fullStr Aplicação de formulas não-clausais em planejamento com redes de Petri
title_full_unstemmed Aplicação de formulas não-clausais em planejamento com redes de Petri
title_sort Aplicação de formulas não-clausais em planejamento com redes de Petri
author Montaño, Razer Anthom Nizer Rojas
author_facet Montaño, Razer Anthom Nizer Rojas
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Silva, Fabiano, 1972-
dc.contributor.author.fl_str_mv Montaño, Razer Anthom Nizer Rojas
contributor_str_mv Silva, Fabiano, 1972-
dc.subject.por.fl_str_mv Redes de petri
Teoria dos grafos
Ciência da computação
topic Redes de petri
Teoria dos grafos
Ciência da computação
description Orientador: Fabiano Silva
publishDate 2006
dc.date.issued.fl_str_mv 2006
dc.date.accessioned.fl_str_mv 2024-10-24T19:25:43Z
dc.date.available.fl_str_mv 2024-10-24T19:25:43Z
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/11334
url https://hdl.handle.net/1884/11334
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 79f. : il.
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/11334/1/Razer_2006_dissertacao_final.pdf
https://acervodigital.ufpr.br/bitstream/1884/11334/2/Razer_2006_dissertacao_final.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/11334/3/Razer_2006_dissertacao_final.pdf.jpg
bitstream.checksum.fl_str_mv 0224a4205c58a90a0cec1905c414740c
7ce47fc45d38f4036be5152db66c08c9
8c6e0a3d8f476c6d6e7c869f82a392a8
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 informacaodigital@ufpr.br
_version_ 1847526212602167296

Registros relacionados