Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets

Dongming Xiang, Shuai Lin, Xuehui Wang, GuanJun Liu. Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets. IEEE Trans. Industrial Informatics, 19(3):3047-3056, March 2023. [doi]

@article{XiangLWL23,
  title = {Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets},
  author = {Dongming Xiang and Shuai Lin and Xuehui Wang and GuanJun Liu},
  year = {2023},
  month = {March},
  doi = {10.1109/TII.2022.3181669},
  url = {https://doi.org/10.1109/TII.2022.3181669},
  researchr = {https://researchr.org/publication/XiangLWL23},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Industrial Informatics},
  volume = {19},
  number = {3},
  pages = {3047-3056},
}