@misc{indiciae5d843a271e83,
  title = {Verification of Detectability Using Petri Nets and Detector},
  author = {Hao Lan and Yin Tong and Jin Guo and Carla Seatzu},
  year = {2019},
  url = {https://arxiv.org/abs/1908.09604},
  note = {Source identifier: 1908.09604}
}