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 | Petry, Franciele Carla | - |
Data de aceite: dc.date.accessioned | 2025-09-01T11:26:55Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T11:26:55Z | - |
Data de envio: dc.date.issued | 2024-11-03 | - |
Data de envio: dc.date.issued | 2024-11-03 | - |
Data de envio: dc.date.issued | 2008 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/34167 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/34167 | - |
Descrição: dc.description | Orientador: Prof. Dr. Fabiano da 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, 29/08/2008 | - |
Descrição: dc.description | Inclui referências | - |
Descrição: dc.description | Resumo: Estados de bloqueio impedem a execução de tarefas em sistemas paralelos e concorrentes. Detectar estes estados, caso existam, é essencial para que se possa definir métodos capazes de eliminá-los. As redes de Petri são tradicionalmente utilizadas como formalismo para análise e modelagem de sistemas paralelos e concorrentes e normalmente se utilizam de técnicas computacionalmente caras para verificação de bloqueios. Neste trabalho se apresenta o problema de verificação de bloqueios em redes de Petri na forma de um problema de planejamento em Inteligência Artificial. A principal motivação é se aproveitar dos recentes e eficientes algoritmos para esta área. Tais técnicas foram definidas, automatizadas e comparadas à técnicas de verificação de bloqueios por desdobramento da rede. | - |
Descrição: dc.description | Abstract: Blocking states prevent the execution of tasks in parallel and concurrent systems. Detect these states, if any, is essential to establish methods that are able to eliminate them. Petri nets are traditionally used as a formalism for analysis and modeling of parallel and concurrent systems and often make use of computationally expensive techniques for checking for blockages. This paper presents the problem of verifying blocks in a Petri nets as a problem of planning in Artificial Intelligence. The main motivation is to take advantage of recent and efficient algorithms for this area. Such techniques have been developed, and compared to automated techniques for verification of blockades by splitting the network. | - |
Formato: dc.format | v, 82f. : il. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Inteligência artificial | - |
Título: dc.title | Planejamento aplicado à verificação de bloqueios em 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: