net.automatalib:automata-parent (maven):  A fully generic library for automata, graphs, and models, written in Java. This is the parent artifact which does not have any source code. Please refer to the "modules" page for more detailed documentation on the single library artifacts. 
Keywords: automata|graph|java|java-library|transition-systems