أرسل هذا في رسالة قصيرة: Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States