4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
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…