Login / Signup
ZhiMing Wu
Publication Activity (10 Years)
Years Active: 2000-2003
Publications (10 Years): 0
</>
Publications
</>
XuGang
,
ZhiMing Wu
Deadlock prevention for FMS.
ACC
(2003)
Meimei Gao
,
MengChu Zhou
,
Xiaoguang Huang
,
ZhiMing Wu
Fuzzy reasoning Petri nets.
IEEE Trans. Syst. Man Cybern. Part A
33 (3) (2003)
Meimei Gao
,
ZhiMing Wu
,
MengChu Zhou
A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems.
SMC
(2000)
Meimei Gao
,
Xiaoguang Huang
,
ZhiMing Wu
Linear logic as a tool for presentation and temporal reasoning of time Petri nets.
ACC
(2000)