Every move is a Petri-net transition; wins are detected by catalytic line collectors that absorb the
turn token — the game halts because the net reaches an absorbing state, not because this page says so.
Live marking of model 5a08c67862a2eb55799f5229.