Petrinetze
Seminar
Diese Seite enthält Material und zusätzliche Informationen zum
Seminar "Petrinetze" (18.413) im Sommersemester 2006.
Termin: Mo 12-14, D-129.
Termine
- 3. April 2006
- Einführung durch die Veranstalter:
Themenüberblick, Vorgehen und Anforderungen.
- 10. April 2006
- Kurzvorstellung der Themen durch die Vortragenden
- 24. April 2006
- Elementare Objektsysteme (Stefan)
- 8. Mai 2006
- Erweiterungen: Kantenarten in Petrinetzen (Bernd)
- 15. Mai 2006
- 22. Mai 2006
- Module und Verfeinerung (Daniel)
- 29. Mai 2006
- "Petri nets are monoids" (Georg)
- 12. Juni 2006
- Entscheidbarkeit und Komplexität (Stefan)
- 19. Juni 2006
- Module und Verfeinerung, Teil 2 (Daniel)
- 26. Juni 2006
- Feature-Structure-Netze (Michael D.)
- 3. Juli 2006
- 10. Juli 2006
Vorgehen
Das Vorgehen im Seminar wird im Einführungsvortrag erläutert.
Die Folien des Vortrags (inklusive Literaturverzeichnis)
finden sich hier.
Korrekturen, Anmerkungen bitte an
Michael Duvigneau
Last modified: Mon Jul 3 11:34:15 CEST 2006
http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/SS06/pn/pn.html