Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. - Mingyue Jiao; Yanhong Huang; Jianqi Shi; Fangda Cai; Rongfeng Lin (APSEC, 2020)

On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets. - Rongfeng Lin; Zhenhua Yu 001; Xiaonan Shi; Lihong Dong; Emad S. Abouel Nasr (IEEE Access, 2020)