Process mining techniques attempt to extract non-trivial and useful information from event logs. One aspect of process mining is control-°ow discovery, i.e., automatically constructing a process model (e.g., a Petri net) describing the causal dependencies between activities. One of the essential problems in process mining is that one cannot assume to have seen all possible behavior. At best, one has seen a representative subset. Therefore, classical synthesis techniques are not suitable as they aim at ¯nding a model that is able to exactly reproduce the log. Existing process mining techniques try to avoid such \over¯tting by generalizing the model to allow for more behavior. This generalization is often driven by the representation languag...