21 citations · 49 across the 5 of their papers we have counts for
1 paper · 2 filters
Harro Wimmel
A Petri net is choice-free if any place has at most one transition in its postset (consuming its tokens) and it is (extended) free-choice (EFC) if the postsets of any two places ar…