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