Technical Report Series Rapporto di Ricerca DAIS-2011-4 Aprile 2011 P. Baldan, N. Cocco, F. De Nes, M. Llabr´es Segura, A. Marin, M. Simeoni MPath2PN - Translating metabolic pathways into Petri nets