Ludwig-Maximilians-University Munich, Institute for Computer Studies,
Section Programming and Software Engineering


Joachim Wehler

Study of mathematics and physics (Dr. rer. nat. habil.)
Lecturer at Ludwig-Maximilians-Universität, Munich, since 1985
Software engineer and business consultant since 1989
Currently working for a software house in Munich

Home address
Joachim Wehler
Döllingerstraße 37
D-80639 München
Germany
email: Joachim.Wehler@gmx.net

Interests and publications

Computer science and business administration

  • Boolean and free-choice semantics of Event-driven Process Chains. EPK 2007. In: Nüttgens, Markus; Rump, Frank, Gadatsch, Andreas (Eds.): 6. GI-Workshop EPK 2007: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. St.Augustin, 2007
  • Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems (http://www.arxiv.org/ftp/cs/papers/0609/0609095.pdf), 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.

Lectures and seminar talks

  • Objektorientierung in IT-Projekten der Praxis
    Ludwig-Maximilians-Universität München, Sommer 2007
  • Computational Algebraic Geometry - Algebraische Geometrie auf dem Computer (Teil1.pdf, Teil2.pdf)
    Ludwig-Maximilians-Universität München, Sommer 2005, Winter 2003/2004
  • Fourier-Transformation und Wavelets (*.pdf)
    Ludwig-Maximilians-Universität München, Winter 2000/2001
  • Mathematik in der Theorie der Petri Netze (MS Powerpoint)
    Ludwig-Maximilians-Universität München, Sommer 1999
  • Petri nets (postscript)
    Ludwig-Maximilians-Universität München, Winter 1997/98.

Philosophy

  • Grundriß eines rationalen Weltbildes
    Alibri, Aschaffenburg 2. Aufl. 2007 (Zarys racjonalnego obrazu swiata. Oficyna Naukowa, Warszawa 1998)

Mathematics

  • K3-Surfaces with Picard Number 2
    Arch.
    Math. 50, (1988), p.73-82
  • Hypersurfaces of the Flag Variety: Deformation Theory and the Theorems of Kodaira-Spencer, Torelli, Lefschetz, M. Noether and Serre
    Math.
    Zeitschrift 198 (1988), p.21-38
  • Infinitesimal Torelli Theorem
    Seminari di Geometria 1986.
    Università degli studi di Bologna. Dip. di Matematica, Bologna 1987
  • Cyclic Coverings: Deformation and Torelli Theorems
    Math. Ann. 274 (1986), p.443-472
  • Der relative Dualitätssatz für Cohen-Macaulay Räume
    Schriftenreihe des Mathematischen Instituts der Universität Münster, 2. Serie, Heft 35, 114p., Münster 1985
  • Moduli Spaces and Versal Deformation of Stable Vector Bundles
    Revue Roumaine de Mathématiques Pures et Appliquées.
    Tome XXX, 1985, p.69-78
  • Beiträge zur algebraischen Geometrie auf homogenen komplexen Mannigfaltigkeiten
    Habilitationsschrift, Ludwig-Maximilians-Universität München, München 1984
  • Deformation of Varieties Defined by Sections in Homogeneous Vector Bundles
    Math. Ann. 268 (1984), p.519-532
  • Deformation of Complete Intersections with Singularities
    Math.
    Zeitschrift 179 (1982), p.473-491
  • Versal Deformation of Hopf Surfaces
    Journal für die reine und angewandte Mathematik. 328 (1981), p.22-32
  • Isomorphie von Familien kompakter komplexer Mannigfaltigkeiten
    Math. Ann. 231, (1977), p. 77-90