@misc{indiciae5355a4e470e1,
  title = {Parameterized Analysis of Immediate Observation Petri Nets},
  author = {Javier Esparza and Mikhail Raskin and Chana Weil-Kennedy},
  year = {2019},
  url = {https://arxiv.org/abs/1902.03025},
  note = {Source identifier: 1902.03025}
}