SMS versenden: Mapovanie procesného modelu do Petriho sietí