@misc{indiciaef458ac7d93e5,
  title = {1-Safe Petri nets and special cube complexes: equivalence and applications},
  author = {Jérémie Chalopin and Victor Chepoi},
  year = {2019},
  doi = {10.1145/3322095},
  url = {https://arxiv.org/abs/1810.03395},
  note = {Source identifier: 1810.03395}
}