A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets

This paper proposes a new modified reachability tree (NMRT) approach for a class of unbounded generalized Petri nets called ω-independent nets. The NMRT of an ω-independent net consists of all and only reachable markings from its initial marking. Moreover, the applications of the NMRT to deadlock analysis for ω-independent nets are developed. The proposed method has a larger application scope than all the existing methods. Several examples are provided to show its superiority over them.