This plugin can be used to model simple place transition networks.
Drag the node from the right and drop it into the workspace. To edit the name of the node click on the node.
- Place with the number of token.
- Place with displayed token.
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.
Click on one button to change between displayed token and the number of token.
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.