Simulation algorithms for coupled DEVS とは

結合されたDEVSモデルが与えられると、シミュレーションアルゴリズムは、モデルの法的挙動を生成する方法であり、これは不法な状態に到達しない軌道の集合である。 (結合されたDEVSモデルの振る舞いを参照)[Zeigler84]は、もともと、2つの他の時間変数、最後のイベント時刻、 t l [ 0 , ) {\displaystyle t_{l}\in [0,\infty )} 、および次の時刻変数を導入することによって、寿命 t s [ 0 , ] {\displaystyle t_{s}\in [0,\infty ]} および経過時間 t e [ 0 , ) {\displaystyle t_{e}\in [0,\infty )} イベント時刻 t n [ 0 , ] {\displaystyle t_{n}\in [0,\infty ]} には、以下の関係があります。
  t e = t t l {\displaystyle \,t_{e}=t-t_{l}}
そして
  t s = t n t l {\displaystyle \,t_{s}=t_{n}-t_{l}}
ここで t [ 0 , ) {\displaystyle t\in [0,\infty )} は現在の時刻を示します。残りの時間は、
  t r = t s t e {\displaystyle \,t_{r}=t_{s}-t_{e}}
等価的に
  t r = t n t {\displaystyle \,t_{r}=t_{n}-t}
、明らかに t r [ 0 , ] {\displaystyle t_{r}\in [0,\infty ]}
これらの関係に基づいて、与えられた結合DEVSの挙動をシミュレートするアルゴリズムは、以下のように記述される。