New reachability trees for unbounded Petri nets. - ShouGuang Wang; MengChu Zhou; Mengdi Gan; Dan You; Yue Li (ICRA, 2015)

Macro liveness graph and liveness of ω-independent unbounded nets. - ShouGuang Wang; Mengdi Gan; MengChu Zhou (Sci. China Inf. Sci., 2015)

Deadlock control of multithreaded software based on Petri nets: A brief review. - Mengdi Gan; Zhijun Ding; Shouguang Wang; Wenhui Wu; Mengchu Zhou (ICNSC, 2016)

An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. - Mengdi Gan; ShouGuang Wang; Zhijun Ding; MengChu Zhou; Wenhui Wu (IEEE Trans. Control. Syst. Technol., 2018)