Orientador : Prof. Dr. Marcos Castilho ; Co-orientador : Prof. Dr. Luis Allan Künzle ; Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 26/02/2016 ; Inclui referências : f. 105-108 ; Área de concentração: Ciência da Computação ; Resumo: 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 ...