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.
No takes yet. Share an insight, caveat, or question.
Ru et al. (2006) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: