A 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.
B Os valores entre colchetes nas transições entre estados representam condições de guarda da transição.
C As açõesentry,doeexitsão internas a cada estado.
D A açãoentryocorre na entrada do estado, a açãodoocorre continuamente enquanto estiver no estado e a açãoexitocorre na saída do estado.