Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
复制标题
用于一处无界 Petri 网性质分析的全展开树
DOI：
10.1109/tsmc.2016.2523944
复制
发表时间：
2017-09
影响因子：
8.7
通讯作者：
Zhou MengChu
中科院分区：
文献类型：
--
作者：
Ding Zhijun;Pan Meiqin;Yang Ru;Jiang Changjun;Zhou MengChu
提出了一种求解单点无界Petri网的完全展开树（FET）方法。单点无界Petri网的场效应效应场由其初始标记的所有且唯一可达标记组成。并将其应用于该类Petri网的活态和死锁分析。本文提出的方法比现有的方法具有更大的适用范围。提供了几个例子来证明它比最先进的方法优越。
This paper proposes a fully expanded tree (FET) approach for one-place-unbounded Petri nets. The FET of a one-place-unbounded Petri net consists of all and only reachable markings from its initial marking. Its applications to liveness and deadlock analysis for such Petri nets are developed. The proposed method has a larger application scope than all the existing methods for them. Several examples are provided to show its superiority over the state-of-the-art methods.
登录
查看更多内容
DOI：
10.1109/tcsi.2006.876811
发表时间：
2006-10
期刊：
IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society
影响因子：
--
作者：
Yu Ru;Weimin Wu;C. Hadjicostis
通讯作者：
Yu Ru;Weimin Wu;C. Hadjicostis
DOI：
10.1109/icnsc.2012.6204900
发表时间：
2012-04
期刊：
Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control
影响因子：
--
作者：
Yu Wang;Z. Ding
通讯作者：
Yu Wang;Z. Ding
DOI：
10.1109/tsmc.2013.2248358
发表时间：
2014-03
期刊：
IEEE Transactions on Systems, Man, and Cybernetics: Systems
影响因子：
--
作者：
Wangyang Yu;Chungang Yan;Zhijun Ding;Changjun Jiang;Mengchu Zhou
通讯作者：
Wangyang Yu;Chungang Yan;Zhijun Ding;Changjun Jiang;Mengchu Zhou
DOI：
10.1007/978-1-4615-2231-7
发表时间：
1995-03
期刊：
--
影响因子：
--
作者：
Mengchu Zhou
通讯作者：
Mengchu Zhou
DOI：
10.1109/tase.2006.888049
发表时间：
2007-07
影响因子：
5.6
作者：
N. Wu;Mengchu Zhou
通讯作者：
N. Wu;Mengchu Zhou