Labeled Transition Systems
Table of Contents
- dmp2dir — Converts
.dmp
directory into
.dir
format - ltscp — Copies labeled transition systems
- ltsmin — Minimizes labeled transition systems
- ltscmp — Compares two labeled transition systems
- lts2dot — Converts an Labeled Transition System
to the
Graphviz
format