Logics for continuous reachability in Petri nets and vector addition systems with states