Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen
Herunterladen

PetriKit ist ein modulares Toolkit für die Petri Net Analyse. Es ermöglicht die Extraktion von grundlegenden Eigenschaften, Extraktion von Invarianten, und Die Generierung von Erreichbarkeit Graph. Die Ergebnisse können in Nur-Text-, HTML- oder XML-Dateien formatiert werden.

VERSIONSVERLAUF

  • Version 1.0 veröffentlicht auf 2008-01-17
    Mehrere Korrekturen und Updates
  • Version 1.0 veröffentlicht auf 2008-01-17

Programmdetails

Verwandte Programme

  • Vocatra kostenlos

    Vocatra ist ein Konsolen-basierter Vokabeltrainer. Es braucht eine oder mehrere Vokabeldateien, fragt Sie nach jedem Wort ab und lässt Sie versuchen, die richtige Antwort zu geben.

  • While Interpreter kostenlos

    WhileInterpreter ist Dolmetscher für die WHILE-Programmiersprache, die zum Lernen verwendet wird. Es hat nur wenige Konstrukte und einfache Semantik.

  • RubyMoss kostenlos

    RubyMoss ist ein Web-basiertes Framework, das mit Ruby on Rails geschrieben wurde und die gesamte Analyse und Datenverarbeitung für die Mossbauer-Spektroskopie unterstützen soll. Geschrieben unter BSD-Lizenz.

  • Peter Pig s Money Counter Kostenlose Testversion

    Mit Hilfe des weisen Peter Pig üben Kinder das Sortieren und Zählen von Münzen, um Geld für ihre "Banken" zu verdienen – während sie lustige Fakten über DIE US-Währung lernen. Sie lernen, Münzen basierend auf dem Wert zu erke

  • Nfrequencies kostenlos

    Multivariate Analysen auf der Grundlage von Di-Nukleotid-Frequenzen aus DNA-Sequenzdaten durchführen.

  • NetBuilder' - Apostrophe kostenlos

    NetBuilder' ist ein Werkzeug zum Erstellen, Visualisieren und Simulieren mehrschichtiger biologischer Netzwerke, die als hierarchische Petrinetze strukturiert sind. Es verfügt über einen eingebauten stochastischen Simulator,

  • DFWiki kostenlos

    DFWiki ist ein Wiki-Modul, das entwickelt wurde, um in der moodle LMS-Umgebung zu arbeiten. Es wurde entwickelt, um Advantadge von Wiki-Funktionen für E-Learning, Als Content-Erstellung und kollaborative Arbeitsprojekte zu ne

  • lib3d_mec_GiNaC kostenlos

    lib_3d_mec_ginac ist eine Bibliothek für symbolische Multibody-Systemdynamik. Es kann eigenständig verwendet werden, obwohl es der Kernel-Ersatz der zukünftigen Version 3.0 von 3d_mec (http://www.imac.unavarra.es/3d_mec) sein

  • JCadServices kostenlos

    Gemeinsames Einreichungsteam zur Entwicklung einer CORBA-Schnittstelle, die mechanische CAD-Systemen den Austausch von Geometrie und Topologie ermöglicht.

  • GEGIS kostenlos

    Erstellen Sie WebGIS basierend auf Google Earth. Nur 7 Schritte, um eine WebGIS Web-Anwendung zu komplizieren!