A free, open-source Java library for modeling automata, graphs, and transition systems.