TY - RPRT TI - The complexity of soundness in workflow nets AU - Michael Blondin AU - Filip Mazowiecki AU - Philip Offtermatt PY - 2022 UR - https://arxiv.org/abs/2201.05588 ID - 2201.05588 ER -