Planejamento aplicado à verificação de bloqueios em redes de Petri
Autor(a) principal: | |
---|---|
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 |