Behavior of DEVS とは

与えられたDEVSモデルの挙動は、事象セグメントと呼ばれるヌル事象を含む時限事象のシーケンスの集合であり、一連の合法状態の中でモデルがある状態から別の状態に移動する。このように定義するには、一連の違法状態と一連の法的状態の概念を導入する必要があります。
さらに、あるDEVSモデルの振る舞いは、時間が経過したときとイベントが発生したときの両方で状態遷移がどのように変化するかを定義する必要があるため、一般システム[ZPK00]と呼ばれる非常に一般的な形式で記述されています。この記事では、代わりに時限イベントシステムと呼ばれる一般的なシステム形式のサブクラスを使用します。
DEVSモデルのトータルステートと外部ステート遷移関数がどのように定義されるかに応じて、Timed Event Systemを使用してDEVSモデルの動作を定義する2つの方法があります。カップリングされたDEVSモデルの振る舞いは、アトミックDEVSモデルとして定義されるため、結合されたDEVSクラスの振る舞いは、タイムイベントシステムによっても定義されます。