A few statechart features
Default entry states for each substate
- Indicated by an arrow with no initial state
When any of the parallel machines is exited, the entire machine is exited
You can have “history” states, which remember where you were the last time you were in a machine
The “STATEMATE semantics” are the standard semantics
- This is largely a question of which enabled transitions are taken, and when
- At this level, you surely don’t care