Buscar
Itens para a visualização no momento 1-1 of 1
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 ...