Return Place Return Place |
Return Places are used to model recursion in Petri nets.
A Return Place is always input place for at least two transitions that also have Stack Places as input places. This results in potential conflicts because the token in the Return Place can only be used for one transition. This conflict is solved by the token that was put on the Stack Places last. |
Place
Place (multi-token)
Place (multi-token infinity)
Stack Place
Stack Place (multi-token infinity)
Token