Im folgenden sei $\nodes$ die Menge der Knoten zum Zeitpunkt
$t$, $\labeledNodes \subseteq \nodes$ die Menge der Knoten
mit Label, $\edges$ die Kantenmenge.
