net.automatalib:automata-commons-dotutil (maven):  		This utility artifact contains methods that facilitate interaction with the 		<a href="http://www.graphviz.org/">GraphVIZ DOT</a> tool, and allows to render and 		display DOT models directly from within the application. 	
Keywords: automata|graph|java|java-library|transition-systems