状態遷移図において、一つの状態から複数の遷移が出る場合に設定すべきものは何か。

ガード条件により、特定の条件下でどの遷移が有効になるかを論理的に決定します。