Petriflow modeler

Undo last action.

Choose a file to open.

Reload model from loaded file.

Save as an XML file.

Export as an PFLOW XML file - format of the PNEditor.org (PNEditor also offers a possibility to export and import files in PNML).

Export in SVG format.

Clear will delete the actual Petri net model, any unsaved changes will be lost

Enable to set the width and height of the drawing area.

Align elements (places and transitions) into a grid.

Show data variables.

Show the number of places, transitions, arcs and all elements together.

Click to see information about Petriflow.

Data variable properties