The state diagram for the vending machine example is shown in Figure 51.
The state diagram is equivalent to the next state/output table.
Note:
There are variations on this. For example, outputs may be specified on the branches. See ELM, Section 7.2.1.
ANU Engineering - ENGN3213