| Veranstaltungs-Nr.: | 18.420 (SoSe 2007) |
| Titel: | Petrinetze |
| Veranstalter: | Daniel Moldt |
| Zeit / Ort: | 2 st. Do. 12-14 C-221 |
| - |
| Inhalt: | Verschiedene Aspekte
(höherer) Petrinetzformalismen werden anhand von Einzelvorträgen
erarbeitet. Das Spektrum unfaßt u.a. aktuelle Arbeiten zu den Themen: - Varianten der Schaltregel
- Netzklassen
- Algorithmische Probleme
- Algebraische Erweiterungen von Petrinetzen
- Petrinetze und logische Kalküle (z.B. Prädikaten-Transitions-Netze)
- Petrinetze und der Begriff der Zeit
- Dynamische Petrinetzstrukturen / Netze in Netzen
- Erweiterungen von Petrinetzen
- Abstraktionsmechanismen
- Modellierungsalternativen
- Verwendbarkeit in der Software-Entwicklung
- Modellierungsmuster
- Architekturmodellierung
- Anwendungsbereiche: Workflow, Flexible Fertigung, Web Engineering, E-Learning
- Werkzeuge
|
| Lernziel: | Kennenlernen des
Gebietes, Erlernen der Benutzung theoretisch fundierter Methoden. Durch
das Bearbeiten und Lesen von Originalartikeln soll der Umgang mit
wissenschaftlicher Literatur geübt werden. Gleichzeitig gewinnt der/die
Studierende einen Einblick in die Richtungen und Ideen, die in der
Theorie und Anwendung der Petrinetze untersucht werden. Kennenlernen
formaler Methoden und deren konkrete Verwendung im Zusammenhang mit
Petrinetzen. |
| Stell. im Studienplan: | Hauptstudium,
Bachelor (3 LP); Vertiefungsgebiete P5, Th3, Th2, A1, P2, A2, Th4, Th1,
P1, P6, P3; Schwerpunkte OSE, IM, INE, VIS, SEM, WV; Modul IP12 |
| Voraussetzungen: | Vordiplom, oder 4. Semester BSc Informatik |
| Vorgehen: | Einführung durch
den Veranstalter, dann Eigenstudium und Vorbereitung der
Seminarvorträge und Tischvorlagen bzw. kleiner Seminarausarbeitungen
auch in Kleingruppenarbeit. Gestaltung des Seminartermins durch Vortrag
und Diskussion, auch unter Leitung der Teilnehmer(innen). Studierende
nach der neuen Studienordnung können in dieser Veranstaltung einen
Seminarschein erlangen. |
| Verwendbarkeit: | Das Seminar kann im Bachelor als Ergänzung zum geplanten AOSE-Projekt im nächsten WS verwendet werden. |
| Literatur: | W.Reisig: Petrinetze, Eine Einführung (Springer-Verlag, 1986),
K.Jensen: Coloured Petri Nets (EATCS-Monographs, 1992),
F. Bause/P.S.Kritzinger: Stochastic Petri Nets (Vieweg, 1996).
Weitere Literatur wird in der Veranstaltung bekanntgegeben. |
| Periodizität: | jährlich zum SS |
| Sprache: | Deutsch |
| Eignung: | Geeignet für Lehramtsstudierende, Nebenfachstudierende, Bioinformatikstudierende, Wirtschaftsinformatikstudierende. |
| Stichworte: | Workflow, Modellierung, Programmierung, Abstraktion, Petrinetze, Softwaretechnik, Algebraische Methoden, Logik |