Ziele: Einführung zu Petri-Netzen
in der Vorlesung: Erläuterungen dazu
nachlesen: G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.5
