We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures.
- Authors
Xinyan Gao; Yingcai Ding; Wenbo Liu; Kaidi Zheng; Siyu Huang; Ning Zhou; Dakui Li
- Abstract
Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems. In this paper, we mainly address theoretical and algorithmic aspects for nonclassical slicing and symmetry reduction over prime event structures. We propose sliced and symmetric quotient reduction models of event structures and present their corresponding algorithms. To construct the underlying foundation of the proposed methodologies, we introduce strong and weak conflict concepts and a pair of mutually inverse operators and extend permutation group based symmetry notion of event structures. We have established a unified mathematical framework for slicing and symmetry reduction, and further investigated the translation, isomorphism, and equivalence relationship and other related basic facts from a theoretical point of view. The framework may provide useful guidance and theoretical exploration for overcoming verification challenges. This paper also demonstrates their practical applications by two cases.
- Subjects
MATHEMATICAL analysis; MATHEMATICAL symmetry; PERMUTATION groups; ISOMORPHISM (Mathematics); MATHEMATICAL models
- Publication
Journal of Applied Mathematics, 2014, p1
- ISSN
1110-757X
- Publication type
Article
- DOI
10.1155/2014/352152