TY  - RPRT
TI  - Verifying generalised and structural soundness of workflow nets via relaxations
AU  - Michael Blondin
AU  - Filip Mazowiecki
AU  - Philip Offtermatt
PY  - 2022
UR  - https://arxiv.org/abs/2206.02606
ID  - 2206.02606
ER  -