Considere as notações da linguagem de modelagem UML (Linguag...

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.

A ação entry ocorre na entrada do estado, a ação do ocorre continuamente enquanto estiver no estado e a ação exit ocorre na saída do estado.