Aggiunta la conversione in dot, per l'utilizzo con graphviz