Open Access
2014 Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li
J. Appl. Math. 2014(SI11): 1-20 (2014). DOI: 10.1155/2014/352152

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.

Citation

Download Citation

Xinyan Gao. Yingcai Ding. Wenbo Liu. Kaidi Zheng. Siyu Huang. Ning Zhou. Dakui Li. "Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures." J. Appl. Math. 2014 (SI11) 1 - 20, 2014. https://doi.org/10.1155/2014/352152

Information

Published: 2014
First available in Project Euclid: 1 October 2014

zbMATH: 07131542
Digital Object Identifier: 10.1155/2014/352152

Rights: Copyright © 2014 Hindawi

Vol.2014 • No. SI11 • 2014
Back to Top