Hauptnavigation

In: Schwarick, Martin; Heiner, Monika (Hrsg.): Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07--08, 2010

· Simplified proof of the blocking theorem for free-choice Petri nets

Journal of Computer and System Sciences 76 (2010), p. 532-537

· Free-Choice Petri Nets without frozen tokens, and Bipolar Synchronization Systems

Fundamenta Informaticae 98 (2010), p. 283-320

(Preliminary version)

· Boolean and free-choice semantics of Event-driven Process Chains

In: Nüttgens, Markus; Rump, Frank, Gadatsch, Andreas (Eds.): 6. GI-Workshop EPK 2007: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. St.Augustin, 2007

· Morphisms of Coloured Petri Nets

Preprint 2006

· Visuelle Verhaltensmodellierung in kommerziellen Projekten

In: Giese, Holger; Philippi, Stephan (Hrsg.): Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme. 8. Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, November 2000, Universität Münster. Bericht 24/00-I, Angewandte Mathematik und Informatik, Universität Münster, Münster 2000

· Aggregation der UML und Abstraktion gefärbter Netze

In: Philippi, Stephan (Hrsg.): Proceedings 7.Workshop Algorithmen und Werkzeuge für Petrinetze, 2. - 3. Oktober 2000. Universität in Koblenz, Fachbereich Informatik, Institut für Softwaretechnik. Technischer Bericht 7/2000, Koblenz 2000

· with Schneider, Christoph: Potential Reachability in Commutative Nets

In: Desel, Jörg; Oberweis, Andreas: Proceedings 6.Workshop Algorithmen und Werkzeuge für Petrinetze, 11. - 12. Oktober 1999. J. W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik, Frankfurt/Main 1999

· with Schneider, Christoph: Petri Net Theory - Problems Solved by Commutative Algebra

In: Donatelli, Susanna; Kleijn, Jetty (Eds.): Application and Theory of Petri Nets 1999. Lecture Notes in Computer Science 1639. Springer, Berlin et al. 1999, p. 248-267

· Towards an Interaction Theory of Business Modeling

In: van der Aalst, Wil; Desel, Jörg; Kaschek, Roland (Eds.): Proceedings Software Architectures for Business Process Management. Institut für Angewandte Informatik und Formale Beschreibungsverfahren AIFB, Universität Karlsruhe (TH), Bericht 390, Karlsruhe 1999, p. 43-62

· with Schneider, Christoph: Commutative Algebra applied to Net Theory

In: Desel, Jörg; Kemper, Peter; Kindler, Ekkart; Oberweis, Andreas (Eds.): 5. Workshop Algorithmen und Werkzeuge für Petrinetze. Forschungsbericht Nr. 694. Fachbereich Informatik der Universität Dortmund. Dortmund 1998, p. 94-100

· with Langner, Peter; Schneider, Christoph: Petri Net Based Certification of Event-Driven Process Chains

In: Desel, Jörg; Silva, Manuel (Eds.): Application and Theory of Petri Nets 1998. Lecture Notes in Computer Science 1420. Springer, Berlin et al. 1998, p. 286 - 305

· with Langner, Peter; Schneider, Christoph: Relating Event-Driven Process Chains to Boolean Nets

Ludwig-Maximilians-Universität München, Institut für Informatik, Technischer Bericht 9707, München 1997, 38p.

· with Langner, Peter; Schneider, Christoph: Prozeßmodellierung mit ereignisgesteuerten Prozeßketten und Petri-Netzen.

Wirtschaftsinformatik 39 (1997), p. 479 - 489

Preprint

· with Langner, Peter; Schneider, Christoph: Ereignisgesteuerte Prozeßketten und Petri-Netze

Universität Hamburg, Fachbereich Informatik, Bericht Nr. 196, FBI-HH-B-196/97, Hamburg 1997, 110p.