Kapazitäten und -Schranken

Erweiterung:

• jede Kante bekommt eine Gewicht (eine positive Zahl),

  beschreibt die Anzahl der Marken, die bei jedem Schalten durch die Kante fließen sollen.

Einschränkung:

• Stellen können einer Kapazität bekommen (eine positive Zahl), beschreibt die maximal erlaubte Anzahl von Marken in dieser Stelle

falls alle Kapazitäten beschränkt ⇒ Zustandsmenge endlich (aber mglw. groß) ⇒ vollständige Analyse des Zustandsübergangsgraphen (prinzipiell) möglich