Planejamento aplicado à verificação de bloqueios em redes de Petri

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorSilva, Fabiano, 1972--
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática-
Autor(es): dc.creatorPetry, Franciele Carla-
Data de aceite: dc.date.accessioned2025-09-01T11:26:55Z-
Data de disponibilização: dc.date.available2025-09-01T11:26:55Z-
Data de envio: dc.date.issued2024-11-03-
Data de envio: dc.date.issued2024-11-03-
Data de envio: dc.date.issued2008-
Fonte completa do material: dc.identifierhttps://hdl.handle.net/1884/34167-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/34167-
Descrição: dc.descriptionOrientador: Prof. Dr. Fabiano da Silva-
Descrição: dc.descriptionDissertaçã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.descriptionInclui referências-
Descrição: dc.descriptionResumo: 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.descriptionAbstract: 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.formatv, 82f. : il.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Relação: dc.relationDisponível em formato digital-
Palavras-chave: dc.subjectCiência da computação-
Palavras-chave: dc.subjectRedes de petri-
Palavras-chave: dc.subjectInteligência artificial-
Título: dc.titlePlanejamento aplicado à verificação de bloqueios em redes de Petri-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.