50 Jahre Uni Lübeck

Institut für Theoretische Informatik

WS 2005/2006 – Petrinetze



Art und Inhalt

Titel: Petrinetze
Veranstalter: Völzer
Einordnung: Diplom-Studiengang ab 5. Semester
Master-Studiengang ab 1. Semester
Inhalt:

Petrinetze werden zur Modellierung und Analyse von Abläufen verwendet, insbesondere solcher Abläufe, bei denen mehrere verschiedene Prozesse miteinander kooperieren und kommunizieren. Zu den Stärken von Petrinetzen gehören ihre anschauliche graphische Darstellung, ihre präzise mathematische Semantik sowie ihre gute Analysierbarkeit. Viele (sowohl kommerzielle als auch frei verfügbare) Modellierungs- und Analysewerkzeuge basieren auf Petrinetzen.

Zu den aktuellen, industriellen Einsatzgebieten von Petrinetzen gehören: Chip-Entwurf, Softwareentwicklung, Telekommunikation, Geschäftsprozeßmodellierung und Workflow-Management.

Im Seminar werden wir mit Blick auf einige dieser Anwendungsgebiete die wichtigsten Modellierungs- und Analysetechniken für Petrinetze diskutieren.

Wiki: Wiki zur Veranstaltung

Vorlesung

Veranstalter: Völzer
Umfang: 4 ECTS
Termine: Fr. 10h-12h, ITCS-Seminarraum Nr.
Themenvergabe: 28.10.05, 10:15 Uhr, ITCS-Seminarraum 21