2006•IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)Requires access

Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets

Yu Ru, Weimin Wu, Christoforos N. Hadjicostis

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.

About this research paper

What this paper is about

Why it matters

OpenAlex reports 26 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Reachability, Liveness, Petri net, Counterexample, Deadlock, Tree (set theory), Computer science, Reachability problem