KVV - Fachbereich Informatik - Universität Hamburg
KVV - Fachbereich Informatik - Universität Hamburg
KVV - Fachbereich Informatik - Universität Hamburg
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kommentare/ Inhalte<br />
Lernziel<br />
Vorgehen<br />
Die Vorlesung unterteilt sich in die Veranstaltung "Modelle von Petrinetzen (A)" am<br />
Dienstag und "Objektorientierung und Petrinetze" (B)" am Montag. Beide Teile sind<br />
jeweils in sich abgeschlossen, so dass Studenten des Diplomstudiengangs wahlweise<br />
auch nur eine der beiden Veranstaltung besuchen können.<br />
Die Frage nach der richtigen Modellierungstechnik in einem bestimmten Kontext erfordert,<br />
dass die Beteiligten sowohl die Anwendungsdomäne (z.B. Wirtschaftswissenschaften,<br />
Flexible Fertigungssysteme, Spiele, Kommunikationssysteme, alle <strong>Informatik</strong>systeme<br />
im Allgemeinen) als auch die zu verwendenden Techniken beherrschen.<br />
Dazu werden in diesem Modul sowohl die Systemeigenschaften als auch die<br />
geeigneten Techniken, Methoden und Werkzeuge vorgestellt. Die konzeptionellen<br />
Grundlagen werden vorwiegend mit Hilfe fortgeschrittener Verfahren (wie z.B. aus<br />
dem Gebiet der Petrinetze) vermittelt. In dieser Vorlesung wird in relativ elementarer<br />
Form ein Überblick über verschiedene Modellierungs- und Analyse-Techniken<br />
bei Petrinetzen gegeben. Die angesprochen Themen gehen über den FGI2/PNL gebotenen<br />
Stoff hinaus. Dafür kann bei weniger Teilnehmern als dort ein sehr viel interaktiverer<br />
Vortragsstil geboten werden, der durch Beteiligung der Hörer den Stoff<br />
unmittelbar verständlich wird. Die Vorlesung kann sowohl als Teil des Mastermoduls<br />
wie auch in diversen Vertiefungsfachprüfungen des Diplomstudienganges genuzt<br />
werden.<br />
Inhalte:<br />
1. Modellierungstechnik: ein Beispiel<br />
2. Elementare Netzsysteme<br />
3. Sequentielle und nichtsequentielle Prozesse<br />
4. Szenarien<br />
5. Petrinetz-Synthese<br />
6. Traps und Fallen<br />
7. Invarianten<br />
8. Überdeckungsgraphen<br />
7. Free-Choice-Netze<br />
8. Synchronisationsgraphen<br />
9. Geschäftsprozesse<br />
10. Wechselseitiger Ausschluss und Fairness<br />
11. Verteilte Algorithmen als Petrinetze<br />
Literatur * C. Girault and R. Valk. Petri Nets for Systems Engineering - A Guide to Modeling,<br />
Verification, and Applications. Springer-Verlag, Berlin 2003,<br />
* W.Reisig: Petrinetze, Eine Einführung, Springer, Berlin 1986,<br />
* W. Reisig: Elements of Distributed Algorithms, Springer, Berlin 1998,<br />
* K.Jensen: Coloured Petri Nets, EATCS-Monographs, Springer, Berlin 1992<br />
LV 64-441:<br />
Dozent/in:<br />
Vorlesung Objektorientierung und Petrinetze<br />
Rüdiger Valk<br />
Zeit/Ort: 2st., Mo 12:15–13:45, C–221, Beginn: 06.04.09<br />
Kommentare/ Inhalte Die Vorlesung unterteilt sich in die Veranstaltung "Modelle von Petrinetzen (A)" am<br />
Dienstag und "Objektorientierung und Petrinetze (B)" am Montag. Beide Teile sind<br />
jeweils in sich abgeschlossen, so dass Studenten des Diplomstudiengangs wahlweise<br />
auch nur eine der beiden Veranstaltung besuchen können.<br />
Lernziel<br />
Die Frage nach der richtigen Modellierungstechnik in einem bestimmten Kontext erfordert,<br />
dass die Beteiligten sowohl die Anwendungsdomäne (z.B. Wirtschaftswissenschaften,<br />
Flexible Fertigungssysteme, Spiele, Kommunikationssysteme, alle <strong>Informatik</strong>systeme<br />
im Allgemeinen) als auch die zu verwendenden Techniken beherrschen.<br />
Dazu werden in diesem Modul sowohl die Systemeigenschaften als auch die<br />
geeigneten Techniken, Methoden und Werkzeuge vorgestellt. Die konzeptionellen<br />
Grundlagen werden vorwiegend mit Hilfe fortgeschrittener Verfahren (wie z.B. aus<br />
dem Gebiet der Petrinetze) vermittelt. Die aus der Vorlesung FGI2/PNL bekannte<br />
56
Change language