\begin{slide}{Kapazitäten und -Schranken}

Erweiterung:
\begin{itemize}\itemsep 0pt
\item jede Kante bekommt eine \emph{Gewicht} (eine positive Zahl),

  beschreibt die Anzahl der Marken, die bei jedem Schalten
  durch die Kante fließen sollen.
\end{itemize}

Einschränkung:
\begin{itemize}\itemsep 0pt
\item Stellen können einer \emph{Kapazität} bekommen
  (eine positive Zahl),
  beschreibt die maximal erlaubte Anzahl von Marken in dieser Stelle
\end{itemize}


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


\end{slide}
