Zaslat SMS: Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States