The following pages link to ProM (Q17124):
Displayed 6 items.
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Discovering workflow nets using integer linear programming (Q1639990) (← links)
- The impact of biased sampling of event logs on the performance of process discovery (Q2030172) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Incremental Process Discovery (Q2889620) (← links)
- Process Model Discovery: A Method Based on Transition System Decomposition (Q5166757) (← links)