Werke:
- Struktur und Analyse von Free-Choice Petrinetzen
- Proving non-reachability by modulo-place invariants
- Lectures on concurrency and Petri nets : advances in petri nets
- Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und...