\begin{slide}{Zustände, Übergänge}


  \begin{itemize}\itemsep 1pt
  \item 
    \emph{Zustand }eines Netzes $N$ ist Abbildung $z: S\to\NN$

    (für jede Stelle eine Anzahl von Marken)
  \item 
    in Zustand $z$ ist eine Transition $t$  \emph{aktiviert},
    wenn jede Stelle ihres Vorbereiches wenigstens eine Marke enthält
  \item
    eine aktivierte Transition \emph{schaltet}:
    verbraucht Marken im Vorbereich, erzeugt Marken im Nachbereich.

    das ist eine Relation auf Zuständen
    $z_1 \to_t z_2$: aus Zustand $z_1$ wird durch Schalten von $t$
    der Zustand $z_2$ erreicht.
  \item 
    zum Netz sollte auch Anfangszustand $z_0$ gegeben sein.
    Definition: erreichbare Zustände, tote Zustände
  \end{itemize}

\end{slide}
