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