As condições de guarda das transições entre estados são avaliadas antes que os eventos ocorram, visto que o evento de transição somente pode ocorrer caso a condição de guarda seja satisfeita.

Os valores entre colchetes nas transições entre estados representam condições de guarda da transição.

As ações entry, do e exit são internas a cada estado.