Petrinetze sind das älteste Modell verteilter Systeme. Seit nunmehr 40 Jahren werden sie mit stetigem Erfolg theoretisch vertieft und - von Software-Werkzeugen unterstützt - in der Praxis verwendet. Petrinetze modellieren lokale Zustandskomponenten und Aktionen gleichrangig. Für Petrinetze gibt es eine Reihe überaus starker, an ihrer Struktur ausgerichtete Analysetechniken ihres dynamischen Verhaltens. Anwendungen konzentrieren sich auf eingebettete Systeme, verteilte Algorithmen, Kommunikationsprotokolle, Hardwaresysteme und in letzter Zeit verstärkt auf Geschäftsprozessmodelle und Web Services. Der Lehrstuhl ist an dieser Entwicklung führend beteiligt; zuletzt mit der Herausgabe des Materials des "4th Advanced Course on Petri Nets" und des Tagungsbandes der "25th International Conference on Application and Theory of Petri Nets". Die am Lehrstuhl entwickelten Komponenten zur Analysetechnik des Model Checking sind für Petrinetze besonders effizient. In den beiden Anwendungsbereichen des Lehrstuhls spielen Petrinetze eine hervorgehobene Rolle.