The following pages link to Unfolding-Based Process Discovery (Q3460543):
Displaying 4 items.
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Discovering unseen behaviour from event logs (Q2165229) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Enhancing discovered processes with duplicate tasks (Q2293054) (← links)