Linear logic as a tool for presentation and temporal reasoning of time Petri nets. - Meimei Gao; Xiaoguang Huang; ZhiMing Wu (ACC, 2000)

A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems. - Meimei Gao; ZhiMing Wu; MengChu Zhou (SMC, 2000)

Deadlock avoidance algorithm for FMS. - XuGang; ZhiMing Wu (ISIC, 2003)

Deadlock prevention for FMS. - XuGang; ZhiMing Wu (ACC, 2003)

Fuzzy reasoning Petri nets. - Meimei Gao; MengChu Zhou; Xiaoguang Huang; ZhiMing Wu (IEEE Trans. Syst. Man Cybern. Part A, 2003)