Ludwig-Maximilians-University
Munich, Institute for Computer Studies,
Section Programming and Software Engineering
Study of
mathematics and physics (Dr. rer. nat. habil.)
Lecturer at Ludwig-Maximilians-Universität,
Software engineer and business consultant since 1989
Currently working for a software house in
email:
Joachim.Wehler@gmx.net
·
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
·
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
(http://www.arxiv.org/ftp/cs/papers/0608/0608038.pdf), 2006
·
Visuelle Verhaltensmodellierung in
kommerziellen Projekten (postscript)
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 (postscript)
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 (postscript)
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 (postscript)
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 (postscript)
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 (postscript)
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
·
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.