Joachim Wehler

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