TY  - RPRT
TI  - Well-Formed Free-Choice Petri Nets Revisited
AU  - Petr Jancar
AU  - Eike Best
AU  - Raymond Devillers
AU  - Matej Ostadal
PY  - 2026
UR  - https://arxiv.org/abs/2602.02352
ID  - 2602.02352
ER  -