Vorlesung Modellierung WS 2001/2002 - Folie Nr. 613

Ziele:
Eindruck von Petri-Netzen

in der Vorlesung:
informelle Erläuterungen zu

• parallelen Prozessen
• gegenseitigem Ausschluss
• Markierung und Schalten in Petri-Netzen

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.5