Basis marking representation of Petri net reachability spaces and its application to the reachability problem