A Siphon-Based Deadlock Prevention Strategy for S3PR. - Xin Guo 019; Shouguang Wang; Dan You; Zhifu Li; Xiaoning Jiang (IEEE Access, 2019)

A Deadlock Prevention Policy for a Class of Multithreaded Software. - Wenli Duo; Xiaoning Jiang; Oussama Karoui; Xin Guo 019; Dan You; Shouguang Wang; Yuan Ruan (IEEE Access, 2020)

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. - Shouguang Wang; Wenli Duo; Xin Guo 019; Xiaoning Jiang; Dan You; Kamel Barkaoui; MengChu Zhou (IEEE CAA J. Autom. Sinica, 2021)

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. - ShouGuang Wang; Xin Guo 019; Oussama Karoui; MengChu Zhou; Dan You; Abdullah Abusorrah (IEEE Trans. Syst. Man Cybern. Syst., 2023)