TY  - RPRT
TI  - Monotonicity-Guided Bottom-Up Petri Net Discovery: The SPECpp Framework
AU  - Leah Tacke genannt Unterberg
AU  - Lisa L. Mannel
AU  - Wil M. P. van der Aalst
PY  - 2026
UR  - https://arxiv.org/abs/2608.09398
ID  - 2608.09398
ER  -