Navegação Dissertações por assunto "Redes de petri"
Itens para a visualização no momento 1-5 of 5
-
Uma abordagem matricial para desdobramento de redes de petri utilizando a ferramenta MATLAB
(2016)Resumo: Nas últimas décadas, redes de Petri têm sido amplamente utilizadas como ferramenta para modelar, analisar, simular e avaliar o comportamento e desempenho de sistemas com peculiaridades de sincronização, concorrência ... -
Desdobramento para Redes de Petri K-Limitadas
(2010-11-29)Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. ... -
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ... -
Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
(2012-10-05)Resumo