Dies ist der Befehl lps2pbes, 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
lps2pbes – generiert ein PBES aus einem LPS und einer Zustandsformel
ZUSAMMENFASSUNG
lps2pbes [zur Auswahl]... --formula=DATEI [IM ORDNER [AUSGABE]]
BESCHREIBUNG
Konvertieren Sie die Zustandsformel in FILE und die LPS in INFILE in einen parametrisierten Booleschen Wert
Gleichungssystem (PBES) und speichern Sie es im OUTFILE. Wenn OUTFILE nicht vorhanden ist, wird stdout verwendet.
Wenn INFILE nicht vorhanden ist, wird stdin verwendet.
OPTIONAL
zur Auswahl kann einer der folgenden sein:
-fFILE, --Formel=FILE
Verwenden Sie die Zustandsformel aus DATEI
-oFORMAT, --aus=FORMAT
Verwenden Sie das Ausgabeformat FORMAT: 'pbes' PBES im internen Format 'pbes_text' PBES in
internes Textformat „Text“ PBES im Textformat (mCRL2).
-s, --strukturiert
Gleichungen so erstellen, dass keine gemischten Konjunktionen und Disjunktionen auftreten
-t, --zeitgesteuert
Verwenden Sie die zeitgesteuerte Version des Algorithmus, auch für nicht zeitgesteuerte LPS
--Zeiten[=FILE]
Zeitmesswerte an FILE anhängen. Messungen werden in Standardfehler geschrieben, wenn
es wird keine DATEI bereitgestellt
-u, --unoptimiert
Vereinfachen Sie boolesche Ausdrücke nicht
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 lps2pbes online über die Dienste von onworks.net
