TY  - RPRT
TI  - Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
AU  - Joachim Wehler
PY  - 2021
DO  - 10.3233/fi-2021-2078
UR  - https://arxiv.org/abs/2109.10002
ID  - 2109.10002
ER  -