Охрана только для: действителен запрос на изменение состояния или нет ?? а не для условных опций, условные обозначения называются «выбором» и делают ваш конечный автомат недетерминированным. @ user716129
ели состояния, как это моделируется?
состояние A до состояния B на триггере X и состоянии C1, когда текущее состояние A
состояние A для состояния C на триггере X и состояние C2, когда текущее состояние A
как это обычно достигается? У меня есть много условий охраны, которые я, возможно, должен выполнить.