Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces the SPECpp framework for bottom-up discovery of Petri nets, leveraging monotonic properties to efficiently characterize individual places and enabling the organic emergence of complex structures like concurrency and long-term dependencies. By addressing the exponential growth of candidate places and their combinations, SPECpp allows for the rapid generation of high-quality models under resource constraints, contrasting with traditional top-down methods like the Inductive Miner. The evaluation of SPECpp on both synthetic and real-life event data demonstrates its effectiveness in process mining, highlighting its potential to enhance model discovery in complex systems.
SPECpp revolutionizes process discovery by allowing complex Petri net structures to emerge organically, sidestepping the limitations of predefined constructs.
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 properties, enabling bottom-up discovery. Unlike top-down approaches such as the Inductive Miner, which rely on predefined constructs for sequences, choices, loops, and concurrency, our approach allows such structures to emerge organically and can exploit the full expressive power of Petri nets, including free-choice constructs and long-term dependencies. The main challenge is the exponential number of candidate places and their combinations. We present the SPECpp framework which implements strategies to obtain high-quality models under time and resource constraints. SPECpp supports rapid experimentation and is used to evaluate these strategies using both synthetic and real-life event data.