ステートマシン図において、遷移のトリガーが「ChangeEvent」である場合、何がトリガーとなるか。

ChangeEventは、指定された条件式が満たされた瞬間に発生するイベントである。