Text this: Rozšírenie jazyka Petriflow o transakčné správanie