ZhiMing Wu

According to our database, ZhiMing Wu authored at least 4 papers between 2000 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Fuzzy reasoning Petri nets.

Meimei Gao, MengChu Zhou, Xiaoguang Huang, ZhiMing Wu

IEEE Trans. Syst. Man Cybern. Part A, 2003

Deadlock prevention for FMS.

XuGang, ZhiMing Wu

Proceedings of the American Control Conference, 2003

2000

A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems.

Meimei Gao, ZhiMing Wu, MengChu Zhou

Proceedings of the IEEE International Conference on Systems, 2000

Linear logic as a tool for presentation and temporal reasoning of time Petri nets.

Meimei Gao, Xiaoguang Huang, ZhiMing Wu

Proceedings of the American Control Conference, 2000