Describir: Syntéza Petriho sietí z logov