Definition: Netz

Stellen/Transitions-Netz N = (S, T, F)

• S eine Menge von Stellen
• T eine Menge von Transitionen, S∩T = ∅
• F⊆(S×T)∪(T×S) eine Menge von Kanten

das ist ein gerichteter bipartiter Graph

Bezeichnungen:

• Vorbereich (Eingänge) einer Transition
• Nachbereich (Ausgänge) einer Transition

PS: für wer nur das Skript liest: hier fehlen exakte Definitionen,
diese werden in der Vorlesung an der Tafel entwickelt.