MPath2PN - Translating metabolic pathways into Petri nets

We propose MPath2PN, a tool which automatically translates metabolic pathways, as described in the major biological databases, into corresponding Petri net representations. The aim is to allow for a systematic reuse, in the setting of metabolic pathways, of the variety of tools existing for Petri net analysis and simulation. The current prototype implementation of MPath2PN inputs the KEGG description of a metabolic pathway and produces two Petri nets, mainly differing for the treatment of ubiquitous substances. Such Petri nets are represented using PNML, a standard format for many Petri net tools. We are extending the tool by considering further formats for metabolic pathways in input and for Petri nets in output. MPath2PN is part of a more general project aimed at developing an integrated framework which should offer the possibility of automatically querying databases for metabolic pathways, producing corresponding Petri net models and performing analysis and simulation on them by means of various tools.