\begin{slide}{Einleitung}

  \begin{itemize}
  \item Verhalten nebenläufiger Systeme \emph{spezifizieren}
    und \emph{modellieren}
  \item Spezifikation (Beispiel): Spursprache (Menge
    der möglichen Reihenfolgen von atomaren Aktionen)
  \item Modell (Beispiel): Petri-Netz (nebenläufiger Automat)

    eingeführt von Carl Adam Petri, 1962
  \end{itemize}

Vergleiche: Beschreibung/Modellierung sequentieller Systeme
durch reguläre Sprachen/endliche Automaten

\end{slide}
