doble quote state- and transition-names to show the graph correctly when having state- and transition-names with dashes