Open topic with navigation
The semantics of simple state machines is explained with the following examples.