Logics for continuous reachability in Petri nets and vector addition systems with states.

Michael Blondin, Christoph Haase

Browse the full LICS paper archive.