![]() |
The Place represents a control state or another condition in a Petri Net. It can hold only one token (thus single-token place). |
The context menu allows you to mark the place.
![]() |
Mark Place - If checked, a token will appear inside the place. |
Place (multi-token)
Place (multi-token infinity)
Stack Place
Stack Place (multi-token infinity)
Return Place
Token