Enviar aquest missatge de text: Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States