State diagrams: states joined by transitions labelled with their events, composite states as groups, and the start and end pseudo-states named.
The diagram
The conversion
State diagrams: states joined by transitions labelled with their events, composite states as groups, and the start and end pseudo-states named.