Dies ist der Befehl lts2lps, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
lts2lps – übersetzt ein LTS in ein LPS
ZUSAMMENFASSUNG
lts2lps [zur Auswahl]... [IM ORDNER [AUSGABE]]
BESCHREIBUNG
Übersetzt ein LTS in INFILE und schreibt das resultierende LPS in OUTFILE. Wenn OUTFILE nicht vorhanden ist
vorhanden ist, wird die Standardausgabe verwendet. Wenn INFILE nicht vorhanden ist, wird die Standardeingabe verwendet.
OPTIONAL
zur Auswahl kann einer der folgenden sein:
-DFILE, --Daten=FILE
Verwenden Sie FILE als Daten- und Aktionsspezifikation. DATEI muss eine .mcrl2-Datei sein
enthält keine Init-Klausel.
-lFILE, --lps=FILE
Verwenden Sie FILE für die Daten- und Aktionsspezifikation. FILE muss eine .lps-Datei sein.
-mFILE, --mcrl2=FILE
Verwenden Sie FILE als Daten- und Aktionsspezifikation für das LTS. Die Datei muss eine .mcrl2-Datei sein
Datei.
--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
Nutzen Sie lts2lps online über die Dienste von onworks.net