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