Diagnosability analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Carla Seatzu (ETFA, 2018)

K-Codiagnosability Verification of Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Zijian Dong; Zhou He 001; Zhiheng Liu; Yuan Ruan; Shouguang Wang (IEEE Access, 2019)

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Carla Seatzu (IEEE Trans. Autom. Control., 2022)

Bisimulation non-interference analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Mauro Franceschelli; Carla Seatzu (CoDIT, 2024)