\newcommand{\NN}{\mathbb{N}}

\begin{slide}{Definition: Netz}

Stellen/Transitions-Netz $N=(S,T,F)$
\begin{itemize}
\item $S$ eine Menge von \emph{Stellen}
\item $T$ eine Menge von \emph{Transitionen}, $S\cap T=\emptyset$
\item $F\subseteq (S\times T)\cup(T\times S)$
  eine Menge von \emph{Kanten}
\end{itemize}
das ist ein gerichteter bipartiter Graph

Bezeichnungen:
\begin{itemize}
\item Vorbereich (Eingänge) einer Transition
\item Nachbereich (Ausgänge) einer Transition
\end{itemize}

\begin{small}
PS: für wer nur das Skript liest: hier fehlen exakte Definitionen,\\
diese werden in der Vorlesung an der Tafel entwickelt.
\end{small}
\end{slide}


