On Compositionality of Boundedness and Liveness for Nested Petri Nets
Leonid Wladimirovich Dworzanski, Irina A. Lomazova · Fundamenta Informaticae · 2012
Nested Petri nets (NP-nets) are Petri nets with net tokens. The liveness and boundedness problems are undecidable for two-level NP-nets [14]. Boundedness is in EXPSPACE and liveness is in EXPSPACE or worse for plain Petri nets [6]. However, for some