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