@inproceedings{BH17, 
  author    = {Michael Blondin and Christoph Haase},
  title     = {Logics for Continuous Reachability in {P}etri Nets and
               Vector Addition Systems with States}, 
  booktitle = {Proc.\ $\text{32}^{nd}$ Annual ACM/IEEE Symposium on
                  Logic in Computer Science ({LICS})},
  pages     = {1--12},
  doi       = {10.1109/LICS.2017.8005068},
  year      = {2017}
}