Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins | IEEE Conference Publication | IEEE Xplore