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.
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
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.