A Token is the basic element of a Petri Net's marking. The readiness to fire of a Transition requires that its input places contain sufficient Tokens.
Only use the token shape for a maxium of 3 or 4 Tokens. If the current marking of a place is higher than that, write the number into the Marking-input-box of the multi-token place. |
Place
Place (multi-token)
Stack Place
Stack Place (multi-token infinity)
Return Place