\begin{slide}{Bedingung/Ereignis-Netze}
\dots erhält man aus allgemeinem Modell durch:
\begin{itemize}
\item jede Kante hat Gewicht 1
\item jede Kapazität ist 1
\end{itemize}
Beispiele:
\begin{itemize}
\item Ampelkreuzung (zwei Ampeln grün/gelb/rot, nicht gleichzeitig grün)
\item speisende Philosophen

  Analyse von Lebendigkeit, Fairness
\end{itemize}

\end{slide}
