title: Comments on "A modified reachability tree approach to analysis of unbounded Petri nets".
abstract: 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.
authors.forename: Yu
authors.initials: Y
authors.lastname: Ru
authors.forename: Weimin
authors.initials: W
authors.lastname: Wu
authors.forename: Christoforos N
authors.initials: CN
authors.lastname: Hadjicostis
mesh_terms: D000465:Algorithms; D001185:Artificial Intelligence; D003198:Computer Simulation; D008962:Models, Theoretical; D016571:Neural Networks, Computer; D009716:Numerical Analysis, Computer-Assisted