Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen. - Peter Langner; Christoph Schneider; Joachim Wehler (Wirtschaftsinf., 1997)

Petri Net Based Certification of Event-Driven Process Chains. - Peter Langner; Christoph Schneider; Joachim Wehler (ICATPN, 1998)

Petri Net Theory - Problems Solved by Commutative Algebra. - Christoph Schneider; Joachim Wehler (ICATPN, 1999)

Potential reachability in commutative nets. - Christoph Schneider; Joachim Wehler (AWPN, 1999)

Morphisms of Coloured Petri Nets - Joachim Wehler (CoRR, 2006)

Boolean and Free-choice Semantics of Event-driven Process. - Joachim Wehler (EPK, 2007)

Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics. - Christoph Schneider; Joachim Wehler (AWPN, 2010)

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems. - Joachim Wehler (Fundam. Informaticae, 2010)

Simplified proof of the blocking theorem for free-choice Petri nets. - Joachim Wehler (J. Comput. Syst. Sci., 2010)

Model Checking of Boolean Process Models - Christoph Schneider; Joachim Wehler (CoRR, 2011)

Perpetual Free-choice Petri nets are lucent - proof of a theorem of van der Aalst using CP-exhaustions. - Joachim Wehler (CoRR, 2021)

Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions. - Joachim Wehler (Fundam. Informaticae, 2021)