@misc{indiciae6ff5786d90d7,
  title = {Reachability via Compositionality in Petri nets},
  author = {Paweł Sobocinski and Owen Stephens},
  year = {2014},
  url = {https://arxiv.org/abs/1303.1399},
  note = {Source identifier: 1303.1399}
}