Agreed. I have worked with Petri Nets before now, which I found less restrictive than FSMs (which are just a subset of PNs). But giving your classes explicit s

Agreed. I have worked with Petri Nets before now, which I found less restrictive than FSMs (which are just a subset of PNs). But giving your classes explicit state is certainly very valuable. I even wrote a tool that would take an ASCII-art diagram of a PN embedded in the comments of a class, and generate the state definitions and methods within the class.