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 | 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 | Montaño, Razer Anthom Nizer Rojas | - |
Data de aceite: dc.date.accessioned | 2025-09-01T12:11:58Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T12:11:58Z | - |
Data de envio: dc.date.issued | 2024-10-23 | - |
Data de envio: dc.date.issued | 2024-10-23 | - |
Data de envio: dc.date.issued | 2006 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/11334 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/11334 | - |
Descrição: dc.description | Orientador: 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, 2006 | - |
Descrição: dc.description | Inclui bibliografia | - |
Descrição: dc.description | Resumo: 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | 79f. : il. | - |
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 | Teoria dos grafos | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Título: dc.title | Aplicação de formulas não-clausais em planejamento com 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: