指定したモデル パスを通過するために満たす必要のある必要条件です。 条件は、ERM 属性を使用してモデル化され、値が割り当てられます。また、シミュレーションの実行中に取得された値に基づいて、どのモデル パスを通過するかを決定します。