Exogene Ereignisse

Exogene Ereignisse sind primitive Aktionen, die extern ausgelöst werden und somit den Zustand der modellierten Welt verändern können. Diese Aktionen sind also nicht Teil des definierten Programms . Mit Hilfe einer Liste () der zugelassenen exogenen Aktionen kann das Prädikat definiert werden. Damit kann das Auftreten eines Ereignisses modelliert werden als:

$$\delta _{Exo}:=(\pi a.Exo(a)?;a)^{\star }.$$

Das Programm verursacht die Ausführung keiner, einer oder mehrerer nichtdeterministisch gewählter exogener Ereignisse. Exogene Ereignisse können nun mit Hilfe der eben eingeführten Nebenläufigkeit in die aktuelle Ausführung des User-Programms durch

$$\delta \vert\vert\delta _{Exo}$$

einbezogen werden.