Generating event logs for high-level process models
Discovering Simulation Models