@misc{indiciaed6d12ded7b1f,
  title = {Continuous Reachability for Unordered Data Petri nets is in PTime},
  author = {Utkarsh Gupta and Preey Shah and S. Akshay and Piotr Hofman},
  year = {2019},
  url = {https://arxiv.org/abs/1902.05604},
  note = {Source identifier: 1902.05604}
}