Software für logische Diagramme

Ich suche nach Software für einen Kunden, mit der er große und komplexe logische Bäume grafisch darstellen kann.

Es müsste in der Lage sein, es zu haben, damit Sie einige boolesche und numerische Variablen angeben können, und dann im Diagramm, um von einem Knoten zum nächsten zu gelangen, müssten die Bedingungen angegeben und erfüllt werden, oder besser gesagt, es würde reisen der Weg der erfüllten Bedingungen.

Ein weiteres großartiges Feature wäre, dass Sie Werte für alle Variablen angeben und den Verlauf des Diagramms beobachten können.

Schließlich wäre es noch besser, wenn sich die Grafik logisch optimieren könnte.

Suchen Sie Petri-Netz-Werkzeuge?
a) Es muss eine Lösung für Windows und OS X verfügbar sein? Oder reicht einer davon aus? b) Muss es eine Web-App sein oder kann es eine Web-App und/oder ein lokaler Client sein oder muss es beides sein?

Antworten (2)

Vorausgesetzt, Eingaben können in einer Textdatei akzeptiert werden, dann scheint Graphviz Ihren Anforderungen wie geschrieben zu entsprechen, und es gibt eine Windows-MSI für die aktuelle stabile Version, und Sie können entweder .pkg-Dateien oder brew install graphvizauf Mac OSX herunterladen.

Kernpunkte:

  • Das Layout der Diagramme ist logisch optimiert.

  • Keine GUI, die Schnittstelle ist eine Befehlszeilenverarbeitung von Datendateien. Dies kann ein Problem sein oder auch nicht, Sie sagen es nicht in der Frage.

  • Sie können nicht "dem Diagrammablauf zusehen", aber Sie haben angegeben, dass dies ein nettes Extra ist.

Für diese Art von Problemen empfehle ich yEd . Es verwendet graphml als Speicherformat, läuft auf den meisten Plattformen, optimiert das Layout gut und funktioniert für extrem große Diagramme.

Youtube-Video yEd Graph Editor in 90 Sekunden .