@misc{indiciae6400061cc5a6,
  title = {Verification of C-detectability Using Petri Nets},
  author = {Hao Lan and Yin Tong and Jin Guo and Carla Seatzu},
  year = {2019},
  doi = {10.1016/j.ins.2020.04.024},
  url = {https://arxiv.org/abs/1903.07827},
  note = {Source identifier: 1903.07827}
}