Proseminar: Petrinetze
| Dozent |
Lange,
Reinhardt
|
| Sprechstunde |
K.-J. Lange: Do 13.30 14.30, Raum 009, Sand 13
und nach
Vereinbarung
K. Reinhardt: Raum 004, Sand 13, Tel. 29-78964
|
| Zeit und Ort | noch zu verlegen auf Mi 1113
Morgenstelle oder Freitag nachmittags Sand 13
|
| Umfang | 2
|
| Beginn | 14.10.98
|
|
Das Zustandekommen hängt davon ab, ob bis Ende September noch
Interessenten hinzukommen.
|
Voraussetzungen:
keine
Literatur:
- Wolfgang Reisig.
Petrinetze : e. Einfuehrung.
Studienreihe Informatik, Springer 1991
- Peter H. Starke.
Petri-Netze : Grundlagen, Anwendungen, Theorie.
Dt. Verl. d. Wiss. 1980.
Beschreibung:
Verteilte Systeme spielen eine immer grössere Rolle in der Informatik.
Durch Verteilung von Aufgaben entstehen Phänomene, wie
sie aus der sequentiellen Welt nicht bekannt sind.
Schon sehr kleine und einfach strukturierte verteilte Systeme
können ein derart
komplexes und überraschendes Verhalten zeigen, dass formale Hilfsmittel
für die Erstellung korrekter Systeme nötig sind.
In diesem Zusammenhang haben sich besonders Petrinetze aufgrund
ihrer bildlichen Darstellung bewährt.
Ziel des Proseminares ist es die Grundlagen der
Petrinetze zu erarbeiten, wobei die Teilnehmer erlernen,
einen Vortrag auszuarbeiten und zu halten.
1998-24-07 Klaus Reinhardt
(reinhard@informatik.uni-tuebingen.de)