TY - RPRT TI - Language-Preserving Reduction Rules for Block-Structured Workflow Nets AU - Sander J. J. Leemans PY - 2022 UR - https://arxiv.org/abs/2203.10410 ID - 2203.10410 ER -