50 years Univerity of Lübeck

Institute for Theoretical Computer Science

WS 2005/2006 – Petrinetze



Type and Content

Title: Petrinetze
Host: Völzer
Classification: Diplom-Studiengang ab 5. Semester
Master-Studiengang ab 1. Semester
Conentent:

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 of the event

Lecture

Host: Völzer
Hours: 4 ECTS
Dates: Fr. 10h-12h, ITCS-Seminarraum Nr.
Themenvergabe: 28.10.05, 10:15 Uhr, ITCS-Seminarraum 21