Login / Signup
Yuhui Ning
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Ims Ld
Logic Programming
Petri Net
Manufacturing Systems
Top Venues
Frontiers Comput. Sci.
Enterp. Inf. Syst.
</>
Publications
</>
Yuyue Du
,
Yuhui Ning
Property analysis of logic Petri nets by marking reachability graphs.
Frontiers Comput. Sci.
8 (4) (2014)
Yuyue Du
,
Yuhui Ning
,
Liang Qi
Reachability analysis of logic Petri nets using incidence matrix.
Enterp. Inf. Syst.
8 (6) (2014)