@evan I have a piece of code which implements a state machine, but I am not creating an FSM in a formal sense. I am trying to describe a "feral" state machine reified in code. To me state charts are of most interest when the code knows the statechart exists and can trigger events on entering and leaving higher-hierarchy bubbles?
I guess I could draw some circles around thematically linked states and label them. Hm.