Export to PNML

This module saves the nets into PNML file, which is text based (xml). If you want to export a GPN network, there is two choices. A standard PNML which is compatible with most of the Petri Net tools. The second one is the Tina file format, which is onlz compatible with tool Tina.