Graph-based state machines

Placeholder — split out from the original overview notes.