Concurrent rewriting for graphs with equivalences