W. V. D. van der Aalst

Monotonicity-Guided Bottom-Up Petri Net Discovery: The SPECpp Framework

Process discovery is one of the central challenges in process mining. Petri nets are particularly attractive because simple local constructs can express complex behavior, including concurrency. While their global behavior may be difficult to analyze, individual places can be efficiently characterized using monotonic pr...