Envoyer par SMS: Možnosti prekladov workflow modelov do Petriho sietí