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.
No takes yet. Share an insight, caveat, or question.
Wang et al. (2013) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: