Veröffentlichungen
Mai 2020
So Mo Di Mi Do Fr Sa
12
3456789
10111213141516
17181920212223
24252627282930
31 
DBApp-Suche
Erweiterte Suche

Application datasets: 20711 Version datasets: 149298
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:Platform Independent Petri Net Editor
Version(en):
  Hauptzweig2.0
Lizenz:Open Source
Homepage:http://www.petri-net.net/
Kategorie:X11
Beschreibung:
Der Platform Independent Petri Net Editor (PIPE) erstellt und analysiert Petrinetze schnell, effizient und effektiv. Ein wichtiges Design-Feature ist der modulare Ansatz für die Analyse. Dies ermöglicht es, neue leistungsfähige Module auf einfache Weise zu schreiben, wobei eingebaute Datenschicht-Methoden für Standard-Berechnungen verwendet werden. Sechs Analysemodule werden bereitgestellt, darunter Invarianten-Analyse, State-Space-Analyse (Deadlock usw.) und Simulations-Analyse und Klassifikation. PIPE hält sich an den XML Petrinetz-Standard (PNML). Das Dateiformat zum Speichern und Laden von Petrinetzen ist erweiterbar durch die Verwendung von XSLT, wobei der Default PNML ist.
 
Anmerkungen