Mutual Exclusion Petri Net
This Petri net shows how mutual exclusion (where two processes can
not be in the same state) is modelled.
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