状態遷移の際に、ある条件が満たされた場合にのみ遷移を許可する仕組みを何と呼ぶか。

ガードは[条件]の形式で記述され、真の場合にのみ遷移がトリガーされる。