====== 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$