net.automatalib:automata-dot-visualizer (maven):  This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool. 
Keywords: automata|graph|java|java-library|transition-systems