Joachim Wehler

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 2

Top Topics

Discrete Dynamical Systems

Top Venues

Fundam. Informaticae

Publications

Joachim Wehler
Perpetual Free-choice Petri nets are lucent - proof of a theorem of van der Aalst using CP-exhaustions. CoRR (2021)
Joachim Wehler
-exhaustions. Fundam. Informaticae 182 (4) (2021)
Christoph Schneider, Joachim Wehler
Model Checking of Boolean Process Models CoRR (2011)
Joachim Wehler
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems. Fundam. Informaticae 98 (2-3) (2010)
Christoph Schneider, Joachim Wehler
Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics. AWPN (2010)
Joachim Wehler
Simplified proof of the blocking theorem for free-choice Petri nets. J. Comput. Syst. Sci. 76 (7) (2010)
Joachim Wehler
Boolean and Free-choice Semantics of Event-driven Process. EPK (2007)
Joachim Wehler
Morphisms of Coloured Petri Nets CoRR (2006)
Joachim Wehler
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems CoRR (2006)
Christoph Schneider, Joachim Wehler
Potential reachability in commutative nets. AWPN (1999)
Christoph Schneider, Joachim Wehler
Petri Net Theory - Problems Solved by Commutative Algebra. ICATPN (1999)
Peter Langner, Christoph Schneider, Joachim Wehler
Petri Net Based Certification of Event-Driven Process Chains. ICATPN (1998)
Peter Langner, Christoph Schneider, Joachim Wehler
Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen. Wirtschaftsinf. 39 (5) (1997)