排序方式:
    總頁 2 
      Go

    1.安全Petri网事件分离状态的BDD算法

    陈玉峰,李志武

    西安电子科技大学学报[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

    3.双航母编队C~3I系统Petri网建模与分析研究

    朱森,李志武

    西安电子科技大学学报[1001-2400], Published 2009, Issue 04, Pages 661-668

    收錄情况: CNKI

    4.一种时延Petri网的死锁预防方法

    郭金维,李志武

    西安电子科技大学学报[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

    7.S~3PR网的一种死锁预防策略

    闫明明,李志武,钟春富

    西安电子科技大学学报[1001-2400], Published 2008, Issue 02, Pages 330-333

    收錄情况: CNKI

    8.基本信标计算的一种快速算法

    王安荣,李志武

    西安电子科技大学学报[1001-2400], Published 2008, Issue 04, Pages 632-638

    收錄情况: 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

    11.一种利用基本信标的柔性制造系统死锁控制器设计方法

    李志武,马雄

    西安电子科技大学学报[1001-2400], Published 2006, Issue 02, Pages 262-267+332

    收錄情况: CNKI

    12.柔性制造系统活性监督控制器的简化设计

    李志武,徐平江,朱荣明,王兴平

    西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Issue 03, Pages 442-447+465

    收錄情况: CNKI

    13.最优基本信标在柔性制造系统死锁控制中的应用

    胡核算,李志武,王安荣

    西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Issue 04, Pages 607-611

    收錄情况: CNKI

    14.一类离散事件系统的非阻塞监督控制器设计

    赵咪,李志武

    西安电子科技大学学报[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

    19.资源分配系统禁止状态的避免研究

    王安荣,段江涛,李志武,贾建援

    西安电子科技大学学报[1001-2400], Published 2005, Issue 05, Pages 742-747

    收錄情况: CNKI

    20.考虑FMS资源故障的一种死锁预防策略

    李志武,丁伟,朱荣明

    西安电子科技大学学报[1001-2400], Published 2005, Issue 06, Pages 833-838

    收錄情况: CNKI

    顯示      條  合計   30   條
      總頁 2 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫