This is the command lts2lps that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
lts2lps - translates an LTS into an LPS
lts2lps [OPTION]... [INFILE [OUTFILE]]
Translates an LTS in INFILE and writes the resulting LPS to OUTFILE. If OUTFILE is not
present, standard output is used. If INFILE is not present, standard input is used.
OPTION can be any of the following:
use FILE as the data and action specification. FILE must be a .mcrl2 file which
does not contain an init clause.
use FILE for the data and action specification. FILE must be a .lps file.
use FILE as the data and action specification for the LTS. FILE must be a .mcrl2
append timing measurements to FILE. Measurements are written to standard error if
no FILE is provided
do not display warning messages
display short intermediate messages
display detailed intermediate messages
display intermediate messages up to and including level
display help information
display version information
Use lts2lps online using onworks.net services