\begin{slide}{Petri-Netze modellieren\dots}

  \begin{itemize}
  \item sequentielle Ausführung
  \item Auswahl (ein Zweig von mehreren)
  \item nebenläufige Verzweigung (mehrere Zweige)
  \item Synchronisation
  \item Konflikte (gegenseitiger Ausschluß)
  \end{itemize}

\end{slide}
