Hierarchical State Nodes

Statecharts, by definition, are hierarchical - that is to say, they:

• enable refinement of state
• can group similar transitions
• allow isolation
• encourage composability
• and prevent state explosion, which frequently occurs in normal finite state machines.

...