Dies ist der Befehl ltsview, der im kostenlosen OnWorks-Hosting-Provider über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
LTSView - Interaktive 3D-Visualisierung eines beschrifteten Übergangssystems
ZUSAMMENFASSUNG
LTSView [zur Auswahl]... [IM ORDNER]
BESCHREIBUNG
Starten Sie die LTSView-Anwendung. Wenn INFILE geliefert wird, wird das LTS in INFILE geladen in
die Anwendung.
Das Eingabeformat wird durch den Inhalt von INFILE bestimmt. Wenn das fehlschlägt, ist ein Versuch
gemacht, um das Eingabeformat basierend auf der Dateierweiterung zu erzwingen. Die unterstützten Formate mit
Dateierweiterungen sind:
Aldebaran-Format (CADP; *.aut);
GraphViz-Format (*.dot);
Finite-State-Machine-Format (*.fsm);
mCRL-SVC-Format (*.svc);
mCRL2-Format (*.lts).
OPTIONAL
zur Auswahl kann einer der folgenden sein:
--Zeiten[=FILE]
Zeitmesswerte an FILE anhängen. Messungen werden in Standardfehler geschrieben, wenn
es wird keine DATEI bereitgestellt
Standardoptionen:
-q, --ruhig
keine Warnmeldungen anzeigen
-v, - ausführlich
kurze Zwischennachrichten anzeigen
-d, --debuggen
detaillierte Zwischenmeldungen anzeigen
-Log-Ebene=LEVEL
Zwischenmeldungen bis einschließlich Ebene anzeigen
-h, --help
Hilfeinformationen anzeigen
--Version
Versionsinformationen anzeigen
Verwenden Sie ltsview online mit den onworks.net-Diensten
