\begin{slide}{Sprache eines Netzes}

  \begin{itemize}
  \item abstrahiere von
    Folge von Zuständen $z_0\to_{t_1} z_1 \to_{t_2} z_2 \ldots$

    zur \emph{Spur}: Folge der dabei geschalteten Transitionen $t_1 t2 \ldots$

    ist Wort über Alphabet $=$ Transitionen
  \item für gegebenes Netz und Startzustand:
    betrachte Menge aller möglichen Spuren
    (Spursprache)

    vergleiche: Sprache eines endlichen Automaten
  \item
    aber: es gibt Petri-Netze mit komplizierten ($=$ nicht regulären)
    Spursprachen
  \end{itemize}


\end{slide}
