Title :
Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets
Author :
Ru, Yu ; Wu, Weimin ; Hadjicostis, Christoforos N.
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL
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
Keywords :
Petri nets; reachability analysis; trees (mathematics); deadlock analysis; modified reachability tree approach; unbounded Petri net analysis; Industrial control; Laboratories; Petri nets; Process control; Reachability analysis; Sufficient conditions; System recovery; Petri nets; reachability tree; Algorithms; Artificial Intelligence; Computer Simulation; Models, Theoretical; Neural Networks (Computer); Numerical Analysis, Computer-Assisted;
Journal_Title :
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
DOI :
10.1109/TCSI.2006.876811
