Modeling tic-tac-toe using Petri nets, including history tracking, compositional patterns, and future analytical extensions.
Reflecting on old ideas with new tools — from Petri nets to proofs, from Bash scripts to composable universes.
Introducing Stackdump Blog
A Poem about Carl Petri and his nets.