Unfolding and finite prefix for nets with read arcs