ステートマシン図において、イベントが到着した際に評価されるブール式を何と呼ぶか。

Guard(ガード)は、遷移が発火するための条件を定義する。