\section{Petri-Netze}

\input{petri/intro}
\input{petri/st}
\input{petri/zustand}
\input{petri/model}
\input{petri/sprache}
\input{petri/schranken}
\input{petri/be}
\input{petri/java}
