Vorlesung Modellierung WS 2001/2002 - Folie Nr. 620

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 612-620 als PDF

Ziele:
Beispiel für Kapazitäten und Gewichte

in der Vorlesung:

  • Erläuterung des Leser-Schreiber-Systems.
  • Allerdings können wechselnde Leser die Schreiber auf Dauer blockieren. Das Petri-Netz ist nicht fair.

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

Übungsaufgaben:
Modellieren Sie die Bedienung des Getränkeautomaten durch Petri-Netze. Modellieren Sie Das Betätigen der Tasten, die Geldeingabe, Geldrückgabe und Getränkeausgabe.