net.automatalib:automata-api (maven):  This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols. 
Keywords: automata|graph|java|java-library|transition-systems