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

PetriKit: Petri Net Analysis Toolkit 1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

PetriKit é um kit de ferramentas modular para análise da Petri Net. Permite a extração de propriedades básicas, extração de invariantes e geração de gráficos de acessibilidade. Os resultados podem ser formatados em arquivos 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 Livre

    Vocatra é um treinador de vocabulário baseado em console. Ele pega um ou mais arquivos de vocabulário, consulta você para cada palavra, e permite que você tente dar a resposta correta.

  • While Interpreter Livre

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

  • RubyMoss Livre

    RubyMoss é uma Estrutura Baseada na Web escrita com Ruby on Rails, destinada a apoiar todas as análises e processamento de dados para a Espectroscopia Mossbauer. Escrito sob licença BSD.

  • Peter Pig s Money Counter Avaliação gratuita

    Com a ajuda do sábio Peter Pig, as crianças praticam a classificação e a contagem de moedas para ganhar dinheiro para seus "bancos" — o tempo todo aprendendo fatos divertidos sobre a moeda americana. Eles aprendem a reconhece

  • Nfrequencies Livre

    Realize análises multivariadas baseadas em frequências de di-nucleotídeos a partir de dados de sequência de DNA.

  • NetBuilder' - Apostrophe Livre

    O NetBuilder' é uma ferramenta para construir, visualizar e simular redes biológicas em várias camadas, estruturadas como redes petri hierárquicas. Possui um simulador estocástico embutido, mas também fornece fácil acesso a o

  • DFWiki Livre

    DFWiki é um módulo wiki projetado para funcionar dentro do ambiente moodle LMS. Ele foi projetado para tomar a vanguarda dos recursos wiki para e-learning, como criação de conteúdo e projetos de trabalho colaborativos. Versõe

  • lib3d_mec_GiNaC Livre

    lib_3d_mec_ginac é uma biblioteca para dinâmica simbólica do sistema multicorpo. Ele pode ser usado autônomo, embora seja o substituto do kernel da futura versão 3.0 de 3d_mec (http://www.imac.unavarra.es/3d_mec).

  • JCadServices Livre

    Equipe de submissão conjunta desenvolvendo uma interface CORBA permitindo sistemas CAD mecânicos para trocar Geometria e Topologia.

  • GEGIS Livre

    Construa o WebGIS com base no Google Earth. Apenas 7 passos para complite um Aplicativo WebGIS Web!