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: http://hdl.handle.net/1884/34167
Resumo: 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.
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 Petry, Franciele CarlaSilva, FabianoUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática2013-12-20T13:07:43Z2013-12-20T13:07:43Z2008http://hdl.handle.net/1884/34167Resumo: 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.application/pdfDissertaçõesPlanejamento 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.txtR - 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.jpgR - 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/341672016-04-07 11:14:15.603open accessoai:acervodigital.ufpr.br:1884/34167Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082016-04-07T14:14:15Repositó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
Dissertações
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 Silva, Fabiano
Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática
dc.contributor.author.fl_str_mv Petry, Franciele Carla
dc.subject.por.fl_str_mv Dissertações
topic Dissertações
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.
publishDate 2008
dc.date.issued.fl_str_mv 2008
dc.date.accessioned.fl_str_mv 2013-12-20T13:07:43Z
dc.date.available.fl_str_mv 2013-12-20T13:07: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 http://hdl.handle.net/1884/34167
url http://hdl.handle.net/1884/34167
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 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_ 1813898778925596672

Registros relacionados