BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Sweden
1 × USA
2 × Canada
Collaborated with:
Z.He A.Giua Ziyue Ma N.Wei G.Chen J.Jia B.Guo S.Xu X.Liu A.Wang M.Zhao M.Zhou Yihui Hu B.Han H.Jiang H.Bo H.Hu M.Zhou N.Wu Jiafeng Zhang H.Li G.Frey
Talks about:
net (6) petri (5) system (4) use (4) control (3) time (3) supervisori (2) determinist (2) deadlock (2) program (2)

Person: Zhiwu Li


Contributed to:

CASE 20052005
CASE 20062006
CASE 20072007
CASE 20102010
CASE 20152015
CASE 20172017
CASE 20182018
CASE 20192019

Wrote 12 papers:

Right-circular corner-filleted flexure hinges (GMC, JJ, ZL), pp. 249–253.
CASE-2005-HanJBL #image #metric
Edge location of cannon barrel image based on non-contact measurement of CCD (BH, HJ, HB, ZL), pp. 290–294.
CASE-2005-WeiL #concurrent #policy #programming #using
A deadlock prevention policy for FMS using mathematical programming (NW, ZL), pp. 399–403.
CASE-2006-GuoLX #modelling #on the #petri net #using
On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.
CASE-2006-LiuWL #algorithm #performance #petri net #set
A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.
CASE-2007-ZhaoLZ #on the #petri net
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.
CASE-2010-HuZLW #assembly #automation #concurrent #flexibility
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations (HH, MZ, ZL, NW), pp. 459–464.
CASE-2015-HeLG #graph #optimisation
Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.
CASE-2017-HeLG #graph #optimisation
Optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 956–957.
CASE-2018-ZhangLFL #integer #linear #programming #sequence #using
Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming (JZ, HL, GF, ZL), pp. 1556–1561.
CASE-2019-HuML #petri net #using
Active Diagnosis of Petri Nets Using Q-Diagnoser (YH, ZM, ZL), pp. 203–208.
CASE-2019-MaHL #petri net #reduction
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction (ZM, ZH, ZL), pp. 189–194.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.