@misc{indiciae38f035196781,
  title = {Verification of infinite-step and K-step opacity Using Petri Nets},
  author = {Hao Lan and Yin Tong and Jin Guo and Carla Seatzu},
  year = {2019},
  url = {https://arxiv.org/abs/1909.05138},
  note = {Source identifier: 1909.05138}
}