Describir: Mapovanie procesného modelu do Petriho sietí