Bi-reachability in Petri nets with data