swMATH4977MaRDI QIDQ17124FDOQ17124
Author name not available (Why is that?)
Official website: http://www.promtools.org/prom5/
Cited In (19)
- Disco
- 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
- YAWL
- Genet
- Petrify
- VipTool
- dbminer
- Synet
- HybridILPMiner
- RapidProM
- CpnToUnit
- FSM
- XESame
- Incremental process discovery
- Synthesising elementary net systems with localities
- Process model discovery: a method based on transition system decomposition
This page was built for software: ProM
