Now showing items 1-1 of 1

    • Desdobramento para Redes de Petri K-Limitadas 

      Benito, Franck Carlos Vélez (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. ...