Questo è il comando lps2pbes che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
lps2pbes - genera un PBES da un LPS e una formula di stato
SINOSSI
lps2pbes [OPZIONE]... --formula=FILE [INFILE [PROFILO]]
DESCRIZIONE
Converti la formula di stato in FILE e l'LPS in INFILE in un booleano parametrizzato
sistema di equazioni (PBES) e salvarlo in OUTFILE. Se OUTFILE non è presente, viene utilizzato stdout.
Se INFILE non è presente, viene utilizzato stdin.
VERSIONI
OPZIONE può essere uno dei seguenti:
-fRISORSE, --formula=RISORSE
usa la formula di stato da FILE
-oFORMATO, --fuori=FORMATO
usa il formato di output FORMAT: 'pbes' PBES in formato interno 'pbes_text' PBES in
formato testuale interno 'testo' PBES in formato testuale (mCRL2)
-s, --strutturato
generare equazioni tali che non si verifichino congiunzioni e disgiunzioni miste
-t, --a tempo
utilizzare la versione temporizzata dell'algoritmo, anche per LPS senza tempo
--tempi[=RISORSE]
aggiungere le misurazioni dei tempi a FILE. Le misurazioni vengono scritte nell'errore standard se
non viene fornito alcun FILE
-u, --non ottimizzato
non semplificare le espressioni booleane
Opzioni standard:
-q, --silenzioso
non visualizzare messaggi di avviso
-v, --verboso
visualizzare brevi messaggi intermedi
-d, - debug
visualizzare messaggi intermedi dettagliati
--livello-log=LIVELLO
visualizzare messaggi intermedi fino al livello compreso
-h, --Aiuto
visualizzare le informazioni di aiuto
--versione
visualizzare le informazioni sulla versione
Usa lps2pbes online utilizzando i servizi onworks.net
