net.automatalib:automata-util (maven):  This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying. 
Keywords: automata|graph|java|java-library|transition-systems