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
?