Método de desdobramento temporal para redes de petri temporais

Detalhes bibliográficos
Autor(a) principal: Benito, Franck Carlos Vélez
Data de Publicação: 2016
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/43343
Resumo: Orientador : Prof. Dr. Marcos Castilho
id UFPR_b8214a771e67b968646f0c31a7ae8a99
oai_identifier_str oai:acervodigital.ufpr.br:1884/43343
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Benito, Franck Carlos VélezKunzle, Luis AllanUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCastilho, Marcos Alexandre, 1965-2017-04-11T19:11:04Z2017-04-11T19:11:04Z2016http://hdl.handle.net/1884/43343Orientador : Prof. Dr. Marcos CastilhoCo-orientador : Prof. Dr. Luis Allan KünzleTese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 26/02/2016Inclui referências : f. 105-108Área de concentração: Ciência da ComputaçãoResumo: Sistemas reais modeláveis como sistemas dinâmicos a eventos discretos têm, em seu comportamento, fortes restrições temporais. As redes de Petri temporais são uma importante ferramenta de modelagem e análise desses sistemas. Entretanto, os principais métodos de análise existentes na literatura trabalham por enumeração exaustiva do espaço de estados, com alta complexidade computacional, sobretudo em situações de forte concorrência e paralelismo. Estes método também não são adequados para a análise de roteiros de comportamento, aumentando a imprecisão temporal dos resultados de análise, tornando-os inusáveis. O trabalho desenvolvido nesta tese consistiu em aprimorar duas abordagens já existentes, o desdobramento de redes de Petri e a análise por tempo global, de forma a superar estas limitações. O desdobramento, desenvolvido para redes de Petri sem considerações temporais, consiste em gerar uma rede de ocorrência, finita e acíclica, que contém todos os estados acessíveis da rede original, mas com um custo computacional significativamente menor. Entretanto, sua aplicação direta em redes de Petri temporais perde sequências de disparo de transições válidas e gera outras inválidas, considerando as restrições temporais da rede. A parte inicial deste trabalho teve como foco inicial identificar as limitações do uso do algoritmo original de desdobramento em redes de Petri temporais, para em seguida conceber e formalizar um procedimento de desdobramento que seja aplicável a redes temporais. Este procedimento tem como base o algoritmo original, mas já incorpora em sua estrutura elementos de análise temporal. O novo método de desdobramento obtido foi denominado de "desdobramento temporal" e a rede por ele gerada contém todas as classes de estados da rede temporal, assim como todos os caminhos ou roteiros de comportamento resultantes da dinâmica da rede. O resultado será validado mediante provas e também será apresentado um exemplo de aplicação do novo método. A segunda parte deste trabalho de pesquisa foi dedicada a construir uma metodologia de análise temporal, sobre a rede desdobrada, utilizando o método de tempo global. Este método permite a análise de roteiros de comportamento, ou sequências de disparo de transições, sem aumentar a imprecisão dos resultados e é destinado a redes acíclicas. Ou seja, adequado à rede desdobrada. A metodologia de análise proposta permite avaliar temporalmente qualquer roteiro de comportamento entre as diferentes classes de estados temporais. Os resultados obtidos foram comparados com as metodologias já existentes. Palavras-chave: Redes de Petri temporais, desdobramento temporal, análise temporal, tempo global.Abstract: Real systems formable as dynamic discrete event systems have, in their behavior, strong time constraints. The time Petri nets are an important modeling tool and analysis of these systems. However, themainmethods existing of analysis in the literature works by exhaustive enumeration of the state space, with high computational complexity, especially in strong situations of concurrence and parallelism. Also this methods are not suitable for analysis of behavioral scripts, increasing the temporal imprecision of analysis results, making them unusable. The work in this thesis was to improve two existing approaches, the unfolding of Petri nets and the analysis by global time, concerning to overcome these limitations. The unfolding, developed for Petri nets without temporal considerations, consits in generate an occurrence net, finite and acyclic, that contain all accessible states of the original net, but with a significantly lower computational cost. Nonetheless, its direct application in time Petri nets loses the transitions firing sequences valid and generates others invalid considering the temporal net constraint. The initial part of this work had like initial focus an identification of limitations the use original algorithm of unfolding in time Petri nets, and then, develop and formalize an unfolding procedure that applies to time net. This procedure is based on the original algorithm, but it already incorporates in its structure temporal analysis elements. The new obtained unfolding method was called "timing unfolding" and the net generated contains all states class of time net, as well as all paths or behavior scripts resulting from the dynamic of the net. The result will be validated by proofs and it will be presented by an application example of the new method. The second part of this research work was dedicated to build a temporal analysis method on the unfolded net, using tthe global time method. This method allows the scripts analysis behavior, or transitions firing sequences without increasing the inaccuracy of the results and is intended to acyclic nets, that is, suited to unfolded net. The analysis methodology proposed allows to assess, temporally, any behavior script between different time states class. The results were compared with the existing methodologies. Keywords: Time Petri nets, timing unfoldings, timing analysis, global time.108 f. : il.application/pdfDisponível em formato digitalCiência da computaçãoRedes de petriAnalise de dominio temporalAlgoritmos de computadorTesesMétodo de desdobramento temporal para redes de petri temporaisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessTHUMBNAILR - T - FRANCK CARLOS VELEZ BENITO.pdf.jpgGenerated Thumbnailimage/jpeg1162https://acervodigital.ufpr.br/bitstream/1884/43343/1/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf.jpgf2f394af4a1942ac3d2891d54612e0f3MD51open accessTEXTR - T - FRANCK CARLOS VELEZ BENITO.pdf.txtExtracted Texttext/plain249402https://acervodigital.ufpr.br/bitstream/1884/43343/2/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf.txtb17548640af1b1951f723937740e103cMD52open accessORIGINALR - T - FRANCK CARLOS VELEZ BENITO.pdfapplication/pdf1144264https://acervodigital.ufpr.br/bitstream/1884/43343/3/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf46a4ec69ec81819a96b207801e1f40daMD53open access1884/433432017-04-11 16:11:05.051open accessoai:acervodigital.ufpr.br:1884/43343Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082017-04-11T19:11:05Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Método de desdobramento temporal para redes de petri temporais
title Método de desdobramento temporal para redes de petri temporais
spellingShingle Método de desdobramento temporal para redes de petri temporais
Benito, Franck Carlos Vélez
Ciência da computação
Redes de petri
Analise de dominio temporal
Algoritmos de computador
Teses
title_short Método de desdobramento temporal para redes de petri temporais
title_full Método de desdobramento temporal para redes de petri temporais
title_fullStr Método de desdobramento temporal para redes de petri temporais
title_full_unstemmed Método de desdobramento temporal para redes de petri temporais
title_sort Método de desdobramento temporal para redes de petri temporais
author Benito, Franck Carlos Vélez
author_facet Benito, Franck Carlos Vélez
author_role author
dc.contributor.other.pt_BR.fl_str_mv Kunzle, Luis Allan
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Benito, Franck Carlos Vélez
dc.contributor.advisor1.fl_str_mv Castilho, Marcos Alexandre, 1965-
contributor_str_mv Castilho, Marcos Alexandre, 1965-
dc.subject.por.fl_str_mv Ciência da computação
Redes de petri
Analise de dominio temporal
Algoritmos de computador
Teses
topic Ciência da computação
Redes de petri
Analise de dominio temporal
Algoritmos de computador
Teses
description Orientador : Prof. Dr. Marcos Castilho
publishDate 2016
dc.date.issued.fl_str_mv 2016
dc.date.accessioned.fl_str_mv 2017-04-11T19:11:04Z
dc.date.available.fl_str_mv 2017-04-11T19:11:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1884/43343
url http://hdl.handle.net/1884/43343
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 108 f. : 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/43343/1/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf.jpg
https://acervodigital.ufpr.br/bitstream/1884/43343/2/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/43343/3/R%20-%20T%20-%20FRANCK%20CARLOS%20VELEZ%20BENITO.pdf
bitstream.checksum.fl_str_mv f2f394af4a1942ac3d2891d54612e0f3
b17548640af1b1951f723937740e103c
46a4ec69ec81819a96b207801e1f40da
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_ 1813898837189722112

Registros relacionados