ajout du template petri vers .dot