Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets
Yu Ru, Weimin Wu, Christoforos N. Hadjicostis · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2006
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.