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

> Research article (2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017) · cited 15× · AI/ML

**Wikidata**: [openalex:W4235482987](https://www.wikidata.org/wiki/openalex:W4235482987)  
**Source**: https://4ort.xyz/entity/logics-for-continuous-reachability-in-petri-nets-and-vector-addition-systems-with-states