Proiecte actuale:
- Limbaje, Automatelor şi Complexity Theory
- Concurrency, Petri Nets, and Distributed Algorithms
- Modeling and System Design
- Organizations and business processes
- Agent Technologies
- DFG-Projekt Sozionik (DISPO)
- Projekt SISOL
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
- Limbaje Formale, Automate, şi Reţele de Petri
Proiecte
- Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken
- Strukturelle Untersuchungen dünner Mengen in NSPACE(log n)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
- Algorithmen zur Analyse von Petrinetzeigenschaften
- Generatoren durchschnitts- und twistabgeschlossener Trios
- Selbstverständnis der Informatik
