-
Texas Hold'em Model
Modeling multi-player poker with Petri nets—state machines, role-based access, guards, and event sourcing for complex game logic.
-
Tic-Tac-Toe Model
Modeling tic-tac-toe using Petri nets with ODE simulation for AI move selection—no game heuristics, just model topology.