Reachability in priority-inhibitory CRNs is mostly in P for deletion-only systems but NP-complete in one case; in inhibitory CRNs it is mostly NP-complete for deletion-only and PSPACE-complete even for (1,1)-size reactions.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Structural liveness of conservative Petri nets is EXPSPACE-complete because minimal live markings are at most doubly exponential in net size.
citing papers explorer
-
Structural Liveness of Conservative Petri Nets
Structural liveness of conservative Petri nets is EXPSPACE-complete because minimal live markings are at most doubly exponential in net size.