Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets

Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets
复制标题

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
中科院分区：
其他
文献类型：
--
作者：
Yu Ru;Weimin Wu;C. Hadjicostis

文献摘要

被引文献

相似文献

上述论文介绍了（无界）Petri 网的修改可达性树（MRT）的构造及其在可达性、活跃性和死锁分析中的应用。本文通过反例表明上述论文中声称的一些 MRT 属性是不正确的。
The above paper introduced the construction of a modified reachability tree (MRT) for (unbounded) Petri nets and its application to reachability, liveness, and deadlock analysis. This note shows via a counterexample that some of the MRT properties claimed in the above paper are incorrect.