モデル内で複数の遷移が同時に有効な際、ツールが一つを選ぶ仕組みを何と呼ぶか。

ランダム、最小コスト、未カバー優先などの戦略に基づき、次に実行する遷移を決定する。

関連記事

関連記事はありません。