1.基于混合整数规划的非阻塞监督控制器设计 = Non-blocking supervisory design using mixed integer programming

赵咪,李志武,韦娜     More...

赵咪,李志武,韦娜     Less

自动化学报[0254-4156], Published 2009, Volume 35, Issue 02, Pages 180-185

收錄情况： SCOPUS CNKI

2.串行加工系统Petri网控制器的形式化设计方法

李志武,贾建援,叶尚辉     More...

李志武,贾建援,叶尚辉     Less

自动化学报[0254-4156], Published 1997, Issue 02,

收錄情况： CNKI

3.Fairness and liveness control policy of Petri net models for automated manufacturing systems = 自动制造系统Petri网的公平活性控制策略

Li, ZhiWu, Jia, Jian     More...

Li, ZhiWu, Jia, JianYuan     Less

Zidonghua Xuebao/Acta Automatica Sinica[0254-4156], Published 2003, Volume 29, Issue 1, Pages 62-71

收錄情况： SCOPUS CNKI

4.Formal design method of Petri net controllers for sequential manufacturing systems

Li, Zhiwu, Jia, Jian     More...

Li, Zhiwu, Jia, JianYuan, Ye, Shanghui     Less

Zidonghua Xuebao/Acta Automatica Sinica[0254-4156], Published 1997, Volume 23, Issue 2, Pages 213-219

收錄情况： SCOPUS

5.Petri net based deadlock prevention approach for flexible manufacturing systems = 基于Petri网的柔性制造系统一种预防死锁方法

Li, ZhiWu, Wang, AnR     More...

Li, ZhiWu, Wang, AnRong     Less

Zidonghua Xuebao/Acta Automatica Sinica[0254-4156], Published 2003, Volume 29, Issue 5, Pages 733-740

收錄情况： SCOPUS CNKI