net.automatalib:automata-jung-visualizer (maven): Visualizer using the Java Utility for Networks and Graphs
Keywords: automata|graph|java|java-library|transition-systems