This contribution suggests a novel approach for a systematic and automatic generation of process models from example runs.
The language used for process models is place/transition Petri nets, the language used for example runs is labelled partial
orders. The approach adopts techniques from Petri net synthesis and from process mining. In addition to a formal treatment
of the approach, a case study is presented and implementation issues are discussed.