Petri Nets

This plugin can be used to model simple place transition networks.

Manual

Nodes

Drag the node from the right and drop it into the workspace. To edit the name of the node click on the node.

  • Transition
  • Place with the number of token.

  • Place with displayed token.

  • Marking
    Click on the disc to save the marking. To change the marking back, click on the arrow. If you click on the loupe you'll get a list of your markings.

Toggle view

Click on one button to change between displayed token and the number of token.

Edges

To create a connection, click on the button "PetriKante" and you will see a cross. Click with the cross on a shape, drag to the other and release the mouse button. You can change the number next to the arrow.

To delete an edge click on the crossed arrow. Click and drag from one to another shape and the edge will be deleted.

Links

Petri net

petri.gif (995 Bytes) Johanna Schloetmann, 04/25/2013 02:31 PM

petrinets_palette.png (25.8 KB) Johanna Schloetmann, 06/20/2013 02:58 PM

petrinets_place1.png (5.68 KB) Johanna Schloetmann, 06/20/2013 03:13 PM

petrinets_place2.png (5.81 KB) Johanna Schloetmann, 06/20/2013 03:14 PM

petrinets_edge.png (6.27 KB) Johanna Schloetmann, 06/20/2013 03:23 PM