Petri Net Export
Regulatory graphs can be exported into discrete Petri net using the rewriting method described in Chaouiya 2006.
In the "File -> Export" menu, a "Petri Net" submenu permits to choose one of three supported Petri net representations: INA, PNML and APNN. Choosing any of these representations, opens a configuration dialog box which presents a list of options to be considered in the export. These include modifications such as model perturbations or reductions, or the definition of a set of initial states.
The Petri Net export dialog
TODO: update figure!