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

Detalhes bibliográficos
Autor(a) principal: Petry, Franciele Carla
Data de Publicação: 2008
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/34167
Resumo: Orientador: Prof. Dr. Fabiano da Silva
id UFPR_8a6bd45528eecf1da00a6f08ec89abda
oai_identifier_str oai:acervodigital.ufpr.br:1884/34167
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaSilva, Fabiano, 1972-Petry, Franciele Carla2024-11-04T18:08:39Z2024-11-04T18:08:39Z2008https://hdl.handle.net/1884/34167Orientador: Prof. Dr. Fabiano da SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 29/08/2008Inclui referênciasResumo: 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.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.v, 82f. : il.application/pdfDisponível em formato digitalCiência da computaçãoRedes de petriInteligência artificialPlanejamento aplicado à verificação de bloqueios em 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/openAccessORIGINALR - D - FRANCIELE CARLA PETRY.pdfapplication/pdf372634https://acervodigital.ufpr.br/bitstream/1884/34167/1/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdfbefa694f0162e9f1fc0ae35e5b10a092MD51open accessTEXTR - D - FRANCIELE CARLA PETRY.pdf.txtExtracted Texttext/plain114916https://acervodigital.ufpr.br/bitstream/1884/34167/2/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdf.txtd0fe2abed674a448c6a3060c2e8fd89dMD52open accessTHUMBNAILR - D - FRANCIELE CARLA PETRY.pdf.jpgGenerated Thumbnailimage/jpeg1170https://acervodigital.ufpr.br/bitstream/1884/34167/3/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdf.jpg44267cc4094fc8a5333d23d4989a8150MD53open access1884/341672024-11-04 15:08:39.799open accessoai:acervodigital.ufpr.br:1884/34167Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-11-04T18:08:39Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Planejamento aplicado à verificação de bloqueios em redes de Petri
title Planejamento aplicado à verificação de bloqueios em redes de Petri
spellingShingle Planejamento aplicado à verificação de bloqueios em redes de Petri
Petry, Franciele Carla
Ciência da computação
Redes de petri
Inteligência artificial
title_short Planejamento aplicado à verificação de bloqueios em redes de Petri
title_full Planejamento aplicado à verificação de bloqueios em redes de Petri
title_fullStr Planejamento aplicado à verificação de bloqueios em redes de Petri
title_full_unstemmed Planejamento aplicado à verificação de bloqueios em redes de Petri
title_sort Planejamento aplicado à verificação de bloqueios em redes de Petri
author Petry, Franciele Carla
author_facet Petry, Franciele Carla
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 Petry, Franciele Carla
contributor_str_mv Silva, Fabiano, 1972-
dc.subject.por.fl_str_mv Ciência da computação
Redes de petri
Inteligência artificial
topic Ciência da computação
Redes de petri
Inteligência artificial
description Orientador: Prof. Dr. Fabiano da Silva
publishDate 2008
dc.date.issued.fl_str_mv 2008
dc.date.accessioned.fl_str_mv 2024-11-04T18:08:39Z
dc.date.available.fl_str_mv 2024-11-04T18:08:39Z
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/34167
url https://hdl.handle.net/1884/34167
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 v, 82f. : 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/34167/1/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdf
https://acervodigital.ufpr.br/bitstream/1884/34167/2/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/34167/3/R%20-%20D%20-%20FRANCIELE%20CARLA%20PETRY.pdf.jpg
bitstream.checksum.fl_str_mv befa694f0162e9f1fc0ae35e5b10a092
d0fe2abed674a448c6a3060c2e8fd89d
44267cc4094fc8a5333d23d4989a8150
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_ 1823526869133164544