Fork/Join Petri Net
This Petri net models the forking of two processes, their concurrent execution and the joining (synchronisation)
of these processes in the top branch. In the bottom branch places and transitions are swapped.
Transitions t_7 and t_8 are in conflict, i.e. the occurrence of either transition disables the other.
This models a nondeterministic selection.
The Petri net browser supports the following functions:
Inserting Petri Net components:
Insertion of Place and Transition (Select Circle or Square button and click in editor pane).
The connection of objects. (Select Arc button click on first object and then on second object)
The dragging of objects (Select Pointer button and mouse down drag)
Inserting/deleting tokens on places:
Select the places for which an initial token is required and press the token button. Every
press of the token button will insert another token
Select the places for which a token is to be deleted and press the delete token button. Every
press of the token button will delete one token
Deleting Petri Net components:
Place and Transition (With the Pointer button down select the elements to delete and press the Delete key.
Arcs. (Select Arc button click on first object and then on second object. If an arc already exists it will be deleted)
Last updated May 11, 1998
by Robert Esser