See next figure for an example of a theoretical modelfor the Finite state machine. The parallel line, means the start of an extra parallel FSM.