the initial transition is used to identify the initial state

Transition init: initial -> state0