陈玉峰,李志武
西安电子科技大学学报[1001-2400], Published 2010, Issue 01, Pages 119-124+141
收錄情况: CNKI
2.Computation of marking/transition separation instances for safe Petri nets using BDD
Chen, YuFeng, Li, Zh More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2010, Volume 37, Issue 1,
收錄情况: SCOPUS
朱森,李志武
西安电子科技大学学报[1001-2400], Published 2009, Issue 04, Pages 661-668
收錄情况: CNKI
郭金维,李志武
西安电子科技大学学报[1001-2400], Published 2009, Issue 05, Pages 902-908
收錄情况: CNKI
5.Deadlock prevention approach for a class of timed Petri nets
Guo, JinWei, Li, Zhi More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2009, Volume 36, Issue 5, Pages 902-908
收錄情况: SCOPUS
6.On the colored Petri net model of the C3I system of the double aircraft carriers group
Zhu, Sen, Li, ZhiWu
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2009, Volume 36, Issue 4, Pages 661-668
收錄情况: SCOPUS
闫明明,李志武,钟春富
西安电子科技大学学报[1001-2400], Published 2008, Issue 02, Pages 330-333
收錄情况: CNKI
9.Deadlock prevention policy for a class of Petri nets S3PR
Yan, MingMing, Li, Z More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2008, Volume 35, Issue 2, Pages 330-333
收錄情况: SCOPUS
10.Effective algorithm for obtaining a set of elementary siphons
Wang, AnRong, Li, Zh More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2008, Volume 35, Issue 4, Pages 632-638
收錄情况: SCOPUS
李志武,马雄
西安电子科技大学学报[1001-2400], Published 2006, Issue 02, Pages 262-267+332
收錄情况: CNKI
李志武,徐平江,朱荣明,王兴平
西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Issue 03, Pages 442-447+465
收錄情况: CNKI
胡核算,李志武,王安荣
西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Issue 04, Pages 607-611
收錄情况: CNKI
赵咪,李志武
西安电子科技大学学报[1001-2400], Published 2006, Issue 05, Pages 735-738+837
收錄情况: CNKI
15.Application of the optimal set of elementary siphons in FMS for deadlock control
Hu, HeSuan, Li, ZhiW More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2006, Volume 33, Issue 4, Pages 607-611
收錄情况: SCOPUS
16.Deadlock prevention policy for FMS using elementary siphons
Li, ZhiWu, Ma, Xiong
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2006, Volume 33, Issue 2,
收錄情况: SCOPUS
17.Non-blocking supervisory control of a modular class of discrete event systems
Zhao, Mi, Li, ZhiWu
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2006, Volume 33, Issue 5,
收錄情况: SCOPUS
18.On simplified liveness-enforcing Petri net supervisors for FMS
Li, ZhiWu, Xu, PingJ More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2006, Volume 33, Issue 3,
收錄情况: SCOPUS
王安荣,段江涛,李志武,贾建援
西安电子科技大学学报[1001-2400], Published 2005, Issue 05, Pages 742-747
收錄情况: CNKI
李志武,丁伟,朱荣明
西安电子科技大学学报[1001-2400], Published 2005, Issue 06, Pages 833-838
收錄情况: CNKI
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫