Что за бред? Действия обычно выполняются: 1 - при нахождении в состоянии. 2 - при воде в состояние. 3 - при выходе из состояния. 4 - при переходе между состояниями. Всё, кроме первого пункта считается извратом и не подддерживается графическими fsm-эдиторами, типа встроенных в Active-HDL или в HDL-Designer.