Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"
Date
2006Source
IEEE Transactions on Systems, Man, and Cybernetics, Part B: CyberneticsVolume
36Issue
5Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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. © 2006 IEEE.