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