Process Mining and Petri Net Synthesis · Study