8.4 State modelling symbols

Figure 8.18 State chart notation.

Figure 8.19 Nested and concurrent states.

Figure C.20 Concurrent event bifurcation and synchronization.

Figure C.21 Guarded transitions.