A new technique for fault detection using Petri nets

J. Prock. A new technique for fault detection using Petri nets. Automatica, 27(2):239-245, 1991. [doi]

@article{Prock91,
  title = {A new technique for fault detection using Petri nets},
  author = {J. Prock},
  year = {1991},
  doi = {10.1016/0005-1098(91)90074-C},
  url = {http://dx.doi.org/10.1016/0005-1098(91)90074-C},
  researchr = {https://researchr.org/publication/Prock91},
  cites = {0},
  citedby = {0},
  journal = {Automatica},
  volume = {27},
  number = {2},
  pages = {239-245},
}