Anfonwch hwn fel neges destun: Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States