Firing a transition advances the marking — Petri Net
The same three-place net before and after firing — the fire: directive replays a transition, so the rendered marking is the state after the token moved from P1 to P2, and the engine now highlights T2 as the newly enabled transition.
Type Petri netStandard Murata 1989 + ISO/IEC 15909-1Engine schematex-petriUpdated 5/26/2026