Schwerpunkte
- Modellierung nebenläufiger Systeme mit Petrinetzen
 - Nebenläufige Verhaltensbeschreibungen mit Halbordnungen und Ereignisstrukturen
 - Effiziente Verifikation nebenläufiger Verhaltensspezifikationen
 - Synthese von Petrinetzen aus nebenläufigen Verhaltensspezifikationen
 - Process Mining auf der Basis von Synthese-Techniken
 - Anwendung statistischer Methoden im Process Mining
 - Modellierung quantitativer Aspekte nebenläufiger Systeme mit gewichteten Petrinetz-Transduktoren