Cited in
(21)- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
- Discovering workflow nets using integer linear programming
- The impact of biased sampling of event logs on the performance of process discovery
- EMiT
- rbminer
- Workcraft
- YAWL
- Genet
- Petrify
- VipTool
- dbminer
- Synet
- HybridILPMiner
- RapidProM
- CpnToUnit
- FSM
- XESame
- Incremental process discovery
- Disco
- Synthesising elementary net systems with localities
- Process model discovery: a method based on transition system decomposition
This page was built for software: ProM
