Improving Combinability of Petri Nets with Inheritance, Aggregation and Association

Shengyuan Wang,Yuan Dong
DOI: https://doi.org/10.1109/TASE.2007.31
2007-01-01
Abstract:Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...
What problem does this paper attempt to address?