Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

PetriKit est une boîte à outils modulaire pour l’analyse Petri Net. Il permet l’extraction de propriétés de base, l’extraction d’invariants et la génération d’un graphique d’reachabilité. Les résultats peuvent être formatés dans des fichiers texte clair, HTML ou XML.

historique de la version

  • Version 1.0 posté sur 2008-01-17
    Plusieurs correctifs et mises à jour
  • Version 1.0 posté sur 2008-01-17

Détails du programme

Programmes connexes

  • Vocatra Gratuit

    Vocatra est un formateur de vocabulaire basé sur console. Il faut un ou plusieurs fichiers de vocabulaire, vous interroge pour chaque mot, et vous permet d’essayer de donner la bonne réponse.

  • While Interpreter Gratuit

    WhileInterpreter est un interprète pour le langage de programmation WHILE utilisé à des fins d’apprentissage. Il a peu de constructions et de sémantique facile.

  • RubyMoss Gratuit

    RubyMoss est un framework web - basé écrit avec Ruby on Rails, destiné à prendre en charge toute l’analyse et le traitement des données pour la spectroscopie Mossbauer. Écrit sous licence BSD.

  • Peter Pig s Money Counter Essai gratuit

    Avec l’aide du sage Peter Pig, les enfants pratiquent le tri et le comptage des pièces de monnaie pour gagner de l’argent pour leurs « banques », tout en apprenant des faits amusants sur la monnaie américaine. Ils apprennent

  • Nfrequencies Gratuit

    Effectuez une analyse multivariée basée sur les fréquences di-nucléotides à partir des données de séquence d’ADN.

  • NetBuilder' - Apostrophe Gratuit

    NetBuilder' est un outil de construction, de visualisation et de simulation de réseaux biologiques multicouques, structurés comme des pétri-filets hiérarchiques. Il dispose d’un simulateur stochastique intégré, mais offre éga

  • DFWiki Gratuit

    DFWiki est un module wiki conçu pour fonctionner dans l’environnement moodle LMS. Il a été conçu pour prendre advantadge de fonctionnalités wiki pour l’apprentissage en ligne, comme création de contenu, et des projets de trav

  • lib3d_mec_GiNaC Gratuit

    lib_3d_mec_ginac est une bibliothèque pour la dynamique symbolique du système multicorps. Il peut être utilisé autonome, bien qu’il sera le substitut du noyau de la future version 3.0 de 3d_mec (http://www.imac.unavarra.es/3d

  • JCadServices Gratuit

    Équipe de soumission conjointe développant une interface CORBA permettant aux systèmes CAO mécaniques d’échanger géométrie et topologie.

  • GEGIS Gratuit

    Construisez WebGIS sur la base de Google Earth. Seulement 7 étapes pour complite une application WebGIS Web!