State machine

Each board follows the state diagram shown in figure 1. The global state consists of the five different states but since it is ensured (see Safety Considerations for how) that the states of all boards are consistent we may safely reduce the global state down to the same diagram.