ProM
From MaRDI portal
Software:17124
swMATH4977MaRDI QIDQ17124FDOQ17124
Author name not available (Why is that?)
Cited In (6)
- 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
- Process Model Discovery: A Method Based on Transition System Decomposition
- Synthesising elementary net systems with localities
- Incremental Process Discovery
This page was built for software: ProM