Petri Net Export

Regulatory graphs can be exported into standard Petri net using the rewriting method described in Chaouiya 2006. In this translation, each component is mapped on two places: one holding as many tokens as the current level of the components, and a complementary place, such that the sum of their tokens is the max level of the components. Each transition in the resulting Petri net will move one token between pairs of complementary places, with test arcs to other places representing the logical functions.

Several Petri net formats are supported: INA, PNML, and APNN.