Art und 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.

Vorlesung