Liveness Enforcement for Time Petri Nets. - Tao Qin 005; Yifan Dong; Li Yin; Naiqi Wu; Zhiwu Li 001 (CoDIT, 2022)

Liveness enforcement for production systems modeled by time Petri nets. - Tao Qin 005; Yifan Dong; Li Yin; Zhiwu Li 001 (Inf. Sci., 2023)

Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses. - Tao Qin 005; Li Yin; Naiqi Wu; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2024)

Path detectability verification for time-dependent systems with application to flexible manufacturing systems. - Tao Qin 005; Jiawang Zhu; Zhiwu Li 001; Xin Hu; Almetwally M. Mostafa (Inf. Sci., 2025)

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets. - Tao Qin 005; Li Yin; Gaiyun Liu; Naiqi Wu; Zhiwu Li 001 (IEEE CAA J. Autom. Sinica, 2025)