@misc{indiciae6638f7a662cd,
  title = {Approximating Petri Net Reachability Along Context-free Traces},
  author = {Mohamed Faouzi Atig and Pierre Ganty},
  year = {2012},
  doi = {10.4230/lipics.fsttcs.2011.152},
  url = {https://arxiv.org/abs/1105.1657},
  note = {Source identifier: 1105.1657}
}