@article{verificationofdetectabilityusingpetri,
  title = {Verification of Detectability Using Petri Nets and Detector},
  year = {2019},
  eprint = {1908.09604},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1908.09604v1},
}