SMS versenden: Rozšírenie jazyka Petriflow o transakčné správanie