35 citations · 102 across the 18 of their papers we have counts for
1 paper · 1 filter
Michael Blondin, Alain Finkel, Piotr Hofman +2
Workflow nets are a well-established variant of Petri nets for the modeling of process activities such as business processes. The standard correctness notion of workflow nets is so…