NETGRIF s.r.o. https://netgrif.com
Transition
Place
Static Place
Add Token
Remove Token
Change Marking
Change Label
Arc
Arc Weight
Arc Data Reference
Reset Arc
Inhibitor Arc
Read Arc
Change Poistion
Delete
Move
Start Simulation
Undo last action.

Colab with others.

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.

Chat

closeChat
sendMessage

Connection key:

Problem so serverom...