Joachim Wehler

According to our database, Joachim Wehler authored at least 12 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using <i>CP</i>-exhaustions.

Joachim Wehler

Fundam. Informaticae, 2021

Perpetual Free-choice Petri nets are lucent - proof of a theorem of van der Aalst using CP-exhaustions.

Joachim Wehler

CoRR, 2021

2011

Model Checking of Boolean Process Models

Christoph Schneider, Joachim Wehler

CoRR, 2011

2010

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

Joachim Wehler

J. Comput. Syst. Sci., 2010

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems.

Joachim Wehler

Fundam. Informaticae, 2010

Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics.

Christoph Schneider, Joachim Wehler

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2007

Boolean and Free-choice Semantics of Event-driven Process.

Joachim Wehler

Proceedings of the 6. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)" St. Augustin, Deutschland, 29. November, 2007

2006

Morphisms of Coloured Petri Nets

Joachim Wehler

CoRR, 2006

1999

Potential reachability in commutative nets.

Christoph Schneider, Joachim Wehler

Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

Petri Net Theory - Problems Solved by Commutative Algebra.

Christoph Schneider, Joachim Wehler

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Petri Net Based Certification of Event-Driven Process Chains.

Peter Langner, Christoph Schneider, Joachim Wehler

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen.

Peter Langner, Christoph Schneider, Joachim Wehler

Wirtschaftsinf., 1997