7.1Petri-Netze

Graphen und Petri-Netze

Bipartite Graphen aus Plätzen und Transitionen, Marken als Zustand und das Schalten als einziger Rechenschritt.

Leitformel
N=(P,T,F),M:P→N0N = (P, T, F), \quad M: P \to \mathbb N_0
N=(P,T,F),N = (P, T, F),M:P→N0M: P \to \mathbb N_0
Lernziel

Petri-Netze formal beschreiben, aktivierte Transitionen erkennen und schalten sowie die wichtigsten Netzvarianten unterscheiden.

Einheit wird geladen …