Anwendungen und Organisation rechnergestützter Systeme sind zunehmend verteilt. Damit werden verteilte Algorithmen immer wichtiger. Am Lehrstuhl werden seit vielen Jahren Konzepte zur Modellierung und Verifikation verteilter Algorithmen entwickelt und erprobt. Die folgenden Projekte haben wesentlich zur Herausbildung von DAWN ("Distributed Algorithms' Working Notation"), einer umfassenden Methode basierend auf Petrinetzen und temporaler Logik beigetragen: