TaPAS  0.2
Modules
Here is a list of all modules:
oMarked Automaton Objects
oExit Automata
oShared Automata
\Marked Shared Automata