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