Entwurf und Implementierung paralleler Programme

Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal)

• $S \subseteq \text{States}$ Zustände
• $A \subseteq \text{ACT}$ Aktionen
• $\Delta \subseteq S \times A \times S$ Übergangsrelation
• $q_0 \in S$ Anfangszustand

$q \xrightarrow{a}_\Delta p$