net.automatalib:automata-brics (maven):  This artifact contains adapter classes for treating the Automaton objects from the BRICS library (http://www.brics.dk/automaton) as AutomataLib models. 
Keywords: automata|graph|java|java-library|transition-systems