TY - RPRT TI - Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions AU - Wil M. P. van der Aalst PY - 2020 UR - https://arxiv.org/abs/1801.04315 ID - 1801.04315 ER -