Structural liveness of conservative Petri nets is EXPSPACE-complete because minimal live markings are at most doubly exponential in net size.
ACM SIGLOG News 5(3), 67–82 (2018)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2verdicts
UNVERDICTED 2representative citing papers
Develops constructive higher sheaf models of type theory to support synthetic mathematics with univalence and higher inductive types.
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.
-
Constructive higher sheaf models with applications to synthetic mathematics
Develops constructive higher sheaf models of type theory to support synthetic mathematics with univalence and higher inductive types.