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]

Abstract

Abstract is missing.