ltsgraph¶

Draws a labelled transition system (LTS). A convential graph drawing is provided either in 2D or 3D.

The main window of the tool shows the labelled transition system described by the input file as a directed, labelled graph. Using the dialogs found in the “Tools” menu, the graph’s layout and several other visualization settings can be manipulated. The layout of the graph can also be manipulated by dragging vertices (states).

Warning

This tool is only usable for small state spaces of up to about 200 states. For visualising larger state spaces it is recommended to use ltsview.

Manual page for LTSGraph¶

Usage¶

LTSGraph   [OPTION]... [INFILE]


Description¶

Tool for visualizing a labelled transition systems as a graph, and optimizing graph layout.

Command line options¶

--timings[FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

Standard options¶

-q , --quiet

do not display warning messages

-v , --verbose

display short intermediate messages

-d , --debug

display detailed intermediate messages

--log-levelLEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

Author¶

Rimco Boudewijns and Sjoerd Cranen