@misc{indiciae40aabceb44fb,
  title = {Goal-Driven Unfolding of Petri Nets},
  author = {Thomas Chatain and Loïc Paulevé},
  year = {2016},
  url = {https://arxiv.org/abs/1611.01296},
  note = {Source identifier: 1611.01296}
}