Browsing by Subject "Mathematical computing"
Now showing items 1-1 of 1
-
Article
Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"
(2006)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 ...