The initial state is the start of a state machine diagram.
- It is a pseudo-state.
- No incoming edges.
- If there is more than 1 outgoing edge, guards must be mutually exclusive and cover all possible cases to ensure that exactly one target state is reached.
- If initial state becomes active, the object immediately switches to the next state.
- No events allowed on the outgoing edges.
