Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

PetriKit é um conjunto de ferramentas modular para a análise da Petri Net. Permite a extração de propriedades básicas, extração de invariantes e geração de gráfico de alcance. Os resultados podem ser formatados em ficheiros de texto simples, HTML ou XML.

história da versão

  • Versão 1.0 postado em 2008-01-17
    Várias correções e atualizações
  • Versão 1.0 postado em 2008-01-17

Detalhes do programa

Programas Relacionados

  • Vocatra Grátis

    Vocatra é um treinador de vocabulário baseado em consolas. É preciso um ou mais ficheiros de vocabulário, pergunta-te por cada palavra, e permite-te tentar dar a resposta correta.

  • While Interpreter Grátis

    Embora oInterpreter seja um intérprete para a linguagem de programação DO WHILE utilizada para fins de aprendizagem. Tem poucas construções e semântica fácil.

  • RubyMoss Grátis

    RubyMoss é uma Web - Framework baseada escrita com Ruby on Rails, destinada a suportar todas as análises e processamento de dados para a Espectroscopia de Mossbauer. Escrito sob licença BSD.

  • Peter Pig s Money Counter Julgamento Gratuito

    Com a ajuda do sábio Peter Pig, as crianças praticam a triagem e a contagem de moedas para ganhar dinheiro para os seus "bancos" — enquanto aprendem factos divertidos sobre a moeda americana. Aprendem a reconhecer e a classif

  • Nfrequencies Grátis

    Realize análises multivariadas com base em frequências de di-nucleótidos a partir de dados da sequência de ADN.

  • NetBuilder' - Apostrophe Grátis

    NetBuilder' é uma ferramenta para construir, visualizar e simular redes biológicas de várias camadas, estruturadas como redes petri-nets hierárquicas. Tem um simulador estocástico incorporado, mas também proporciona fácil ace

  • DFWiki Grátis

    DFWiki é um módulo wiki projetado para trabalhar dentro do ambiente moodle LMS. Foi projetado para tirar o advantadge de funcionalidades wiki para e-learning, como criação de conteúdo, e projetos de trabalho colaborativos. As

  • lib3d_mec_GiNaC Grátis

    lib_3d_mec_ginac é uma biblioteca para dinâmicas simbólicas do sistema multicorpo. Pode ser usado autónomo, embora seja o substituto do núcleo da futura versão 3.0 de 3d_mec (http://www.imac.unavarra.es/3d_mec).

  • JCadServices Grátis

    Equipa de submissão conjunta desenvolvendo uma interface CORBA permitindo que os sistemas mecânicos de CAD troquem Geometria e Topologia.

  • GEGIS Grátis

    Construa webGIS com base no Google Earth. Apenas 7 passos para complite uma Aplicação Web Web!