Petrinetze

Worum geht's

Du lernst Petri-Netze als formales Modell zur Beschreibung und Analyse nebenläufiger Systeme kennen. Am Ende kannst du einfache Systeme mit Petri-Netzen modellieren, kleine Netze von Hand analysieren und geeignete automatische Analysetechniken und Softwaretools für größere Netze auswählen, um Verhalten und Eigenschaften zu bewerten.

Was du danach kannst

• Nebenläufige Systeme mit Petri-Netzen modellieren
• Kleine Petri-Netze von Hand analysieren
• Automatische Analysetechniken und Tools auswählen
• Analyseergebnisse zur Bewertung des Systemverhaltens nutzen

Aus was das Modul besteht

• VorlesungVermittlung der Inhalte im Vortrag und durch Präsentation
• ÜbungBesprechung und Übung der Lösungen zu den Übungsblättern

Lehrmethode

• Vortrag / Präsentationzur Einführung und Erklärung der Theorie
• Aufgaben während der Vorlesungzur aktiven Auseinandersetzung mit den Themen
• Übungsblätter und Übungsbesprechungzum Vertiefen und Anwenden der Techniken
• Toolpräsentationzur Veranschaulichung automatischer Analysemethoden