Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Verifying generalised and structural soundness of workflow nets via relaxations
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
Workflow nets are a well-established mathematical formalism for the analysis of business processes arising from either modeling tools or process mining. The central decision proble…
cs.LO2022
The complexity of soundness in workflow nets
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
Workflow nets are a popular variant of Petri nets that allow for algorithmic formal analysis of business processes. The central decision problems concerning workflow nets deal with…