CPN-AMI.

Meio ambiente de caso baseado em Petri Net
Baixe Agora

CPN-AMI. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Preço:
  • FREE
  • Nome do editor:
  • CPN-AMI Team
  • Site do editor:
  • http://move.lip6.fr/software/CPNAMI/index.html
  • Sistemas operacionais:
  • Mac OS X 10.3 or later
  • Tamanho do arquivo:
  • 55.1 MB

CPN-AMI. Tag


CPN-AMI. Descrição

Ambiente de caso baseado em Petri Net O CPN-AMI oferece funções como instalações de modelagem, verificação de modelos, simulação e computação de propriedades estruturais.CPN-AMI juntos muitas ferramentas adequadas para a modelagem líquida de Petri e verificação.CPN-AMI é usado internamente em numerosos projetos ou estudos de caso para a verificação de sistemas paralelos. O CPN-AMI também é um suporte para o ensino da Teoria da Petri Net (estudantes de pós-graduação, escola de verão, etc.). Nota: O CPN-AMI é licenciado gratuitamente para uso em organizações educacionais e não profissionais. O que há de novo nesta versão: · Ele corrige vários pequenos insetos no sistema de distribuição (problemas com algumas distribuições Linux, como o Ubuntu), · PNITs, uma nova variante de PNSDD com base na nova biblioteca de suas (sistemas de transição intaciáveis).


CPN-AMI. Software Relacionado

Sobre nós