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
- 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