Vorträge

• Habilitationsvorträge
• Eingeladene Vorträge
• Vorträge auf Konferenzen
• Workshop-Vorträge

Habilitationsvorträge

• Dezember 2006: Suche in Datenbanken. Öffentliche Probevorlesung im Rahmen des Habilitationsverfahrens, Katholische Universität Eichstätt-Ingolstadt.
• Dezember 2006: Synchrones Verhalten in nebenläufigen Systemen. Wissenschaftlicher Vortrag im Rahmen des Habilitationsverfahrens, Katholische Universität Eichstätt-Ingolstadt.

Eingeladene Vorträge

• Dezember 2007: How to Synthesize Petri Nets from Languages: a survey. Department of Computing and Software (Prof. Ryszard Janicki), McMaster University Hamilton/Ontario, Kanada.
• Dezember 2007: Synthesis of Petri nets from Languages: Methods and Application in the Area of Workflow Mining. School of Computer Science (Ass. Prof. Joanne M. Atlee), University of Waterloo/Ontario, Kanada.
• Dezember 2007: How to Synthesize Petri Nets from Languages: a survey. Department of Electrical & Computer Engineering (Ass. Prof. Sandeep Shukla), Virginia Tech, USA.
• April 2007: Synthese von Petrinetzen aus Sprachen: Methodik und Anwendung im Bereich des Workflow Mining . Institut für Systems Engineering, Fachgebiet Simulation (Prof. Helena Szczerbicka), Universität Hannover
• März 2007: How to synthesize Petri nets from languages: a survey. Department of Mathematics and Computer Science (Prof. W.M.P. van der Aalst), Technical University of Eindhoven (TU/e).

• November 2005: Petrinetze zur logischen Modellierung des Verhaltens (verteilter) ereignisbasierter Systeme. Firma Harman/Becker Automotive Systems, Speech Dialog Systems, VR Research - EDRR, Ulm.
• Oktober 2005: Modelling and Control with Signal Petri Nets. Department of Automatic Control Systems (Prof. Štefan Kozák), Slovak University of Technology Bratislava.

• Oktober 2003: Modelling and Validation with VipTool (Toolpräsentation). 4th Advanced Course on Petri Nets (ACPN), Eichstätt.

• Juni 2001: Ein Konzept der Nichtstandard-Analysis als Bindeglied zwischen (klassischen) harmonischen Funktionen harmonischen Funktionen auf Gittern. Bayerisches Mathematisches Kolloquium, Thurnau.

Vorträge auf Konferenzen

• Dezember 2007: How to Synthesize Petri Nets from Scenarios - a Survey. Wintersimulation Conference (WSC) 2007, Washington D.C., USA.
• Juni 2007: Testing the Executability of Scenarios in General Inhibitor Nets. 7th international conference on Application of Concurrency in System Design (ACSD), Bratislava, Slovakia.
• Juni 2007: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. 28th international conference on Application and Theory of Petri Nets (ICATPN), Siedlce, Poland.

• Juni 2006: Towards Synthesis Petri Nets from Scenarios. 27th international conference on Application and Theory of Petri Nets (ICATPN), Turkku, Finland.

• Juni 2004: Synthesis of Controlled Behavior with Modules of Signal Nets. 25th international conference on Application and Theory of Petri Nets (ICATPN), Bologna, Italy.

• Juni 2003: Modelling and Validation with VipTool (Toolpräsentation). 1st international conference on Business Process Management (BPM), Eindhoven, Netherlands.

Vorträge auf Workshops

• September 2004: Modelling Time in Signal Nets. 11th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Paderborn.
• September 2004: Modellierung und Steuerungsentwurf mit Signalnetz-Systemen. Abschlusskolloquium DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Stuttgart.

• November 2003: Signalnetz-Module: Modellierung, Komposition, Semantik, Verhalten. 6th colloquium DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Ulm.
• November 2003: Modelling and Control with Modules of Petri Nets. Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Stuttgart.

• April 2002: Von Prozesstermen zu partiellen Ordnungen. Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Halle.

• Oktober 2001: VIP-Tool Erweiterung für NCEM. 8th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Eichstätt.
• September 2001: Validierung: (Semi)Formalisierung informaler Spezifikation. Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Berlin.
• Juni 2001: Inkrementeller Steuerungsentwurf von automatischen Systemen. Workshop Modelltransformation und Werkzeugkopplung, DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Braunschweig.

• November 2000: Inkrementeller Steuerungsentwurf von Produktionssystemen. 3rd colloquium DFG-Schwerpunktprogramm Integration of Software Specification Techniques for Applications in Engineering (SOFTSPEZ), Ulm.
• Oktober 2000: Process semantics and process equivalence of NCEM. 7th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Koblenz-Landau.