-
Texas Hold'em Model
The five-seat Hold'em tutorial net (18 places, 32 transitions) read against its source — phase places, turn tokens, a dealer role and an event log, plus what the net leaves to code (chips, guards, re-raises) and one bug in how seats re-enter a hand.