DocumentCode
759581
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
Volume
36
Issue
5
fYear
2006
Firstpage
1210
Lastpage
1210
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;
fLanguage
English
Journal_Title
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
1083-4419
Type
jour
DOI
10.1109/TCSI.2006.876811
Filename
1703663
Link To Document