Shaopeng Hu, Jiafeng Zhang, Zhiwu Li: Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins. CoDIT 2022: 1279-1284