Văn bản này: Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States