4 citations · 4 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021
Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
Joachim Wehler
Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-s…
cs.LO2011
Model Checking of Boolean Process Models
Christoph Schneider, Joachim Wehler
In the field of Business Process Management formal models for the control flow of business processes have been designed since more than 15 years. Which methods are best suited to v…
cs.LO2006
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Joachim Wehler
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system ha…