Two complementary static analysis methods for colored Petri net unfolding reduce net size via equivalence classes and color overapproximation, outperforming prior tools on MCC benchmarks in size and solved queries.
MARCIE - Model Checking and Reachability Analysis Done Efficiently
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2022 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Methods for Efficient Unfolding of Colored Petri Nets
Two complementary static analysis methods for colored Petri net unfolding reduce net size via equivalence classes and color overapproximation, outperforming prior tools on MCC benchmarks in size and solved queries.