Analysis of Unbounded Petri Net With Lean Reachability Trees
Analysis of Unbounded Petri Net With Lean Reachability Trees
复制标题
精益可达树无界Petri网分析
DOI：
10.1109/tsmc.2018.2791527
复制
发表时间：
2020-06
影响因子：
8.7
通讯作者：
Zhou MengChu
中科院分区：
文献类型：
--
作者：
Li Jun;Yu Xiaolong;Zhou MengChu
目前，对于一般无界Petri网（UPN）的活性分析，除了对它们的一些子类进行分析外，还没有一种有效的方法。我们以前的工作提出了一个非Karp-米勒有限可达树，即，精益可达性树（LRT）来表示
At present, no efficient method is proposed for the liveness analysis of general unbounded Petri nets (UPNs) except some of their subclasses. Our previous work presents a non-Karp–Miller finite reachability tree, i.e., lean reachability tree (LRT) to repr
登录
查看更多内容
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
用于一处无界 Petri 网性质分析的全展开树
DOI：
10.1109/tsmc.2016.2523944
发表时间：
2017-09
影响因子：
8.7
作者：
Ding Zhijun;Pan Meiqin;Yang Ru;Jiang Changjun;Zhou MengChu
通讯作者：
Zhou MengChu
DOI：
10.1109/icsmc.1997.633101
发表时间：
1997-10
期刊：
1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation
影响因子：
--
作者：
M. Jeng;Mao Yu Peng
通讯作者：
M. Jeng;Mao Yu Peng
DOI：
--
发表时间：
1984-04
期刊：
--
影响因子：
--
作者：
J. Pearl
通讯作者：
J. Pearl
复杂可达树及其在无界 Petri 网死锁检测中的应用
DOI：
10.1109/tsmc.2017.2692262
发表时间：
2019-06
影响因子：
8.7
作者：
Lu Faming;Zeng Qingtian;Zhou MengChu;Bao Yunxia;Duan Hua
通讯作者：
Duan Hua