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)

    Robert Esser Home Page Select a Petri Net


    Last updated May 11, 1998 by Robert Esser