Here you can find more details about the Finite State Machine (FSM) we used to show our counter concept:
Transition Graph:
Definition:
Transition Table:
Please note that this FSM has no final state and thus runs forever.