lts2dot — Converts an Labeled Transition System
to the Graphviz
format
lts2dot
[
-o
file
] [ -a4
| -letter
] [-statenames
{ hide
| show
}
] [-actionnames
{ hide
| show
}
] [-internal
] [-spec
]
dot_commands
input.ext1
svc | bcg | aut | dir | dmp ext1
::=
Converts an Labeled Transition System read from
to the input.ext1
Graphviz
format and write this to
input.dot
-o
file
Redirect output to
file
.dot
-spec
dot_commands
Insert commands specified in dot_commands
to be inserted after the first { in output
-internal
Mark internal transitions
-statenames
hide
Hide names of states
show
Show names of states
-actionnames
hide
Hide names of actions
show
Show names of actions