@misc{indiciaeb6bbd38fa01e,
  title = {On the Decidability of Non Interference over Unbounded Petri Nets},
  author = {Eike Best and Philippe Darondeau and Roberto Gorrieri},
  year = {2011},
  doi = {10.4204/eptcs.51.2},
  url = {https://arxiv.org/abs/1102.5585},
  note = {Source identifier: 1102.5585}
}