Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Joint Authors
Zhou, Ning
Zheng, Kaidi
Liu, Wenbo
Huang, Siyu
Ding, Yingcai
Gao, Xinyan
Li, Dakui
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-20, 20 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-06-12
Country of Publication
Egypt
No. of Pages
20
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Gao, Xinyan& Ding, Yingcai& Liu, Wenbo& Zheng, Kaidi& Huang, Siyu& Zhou, Ning…[et al.]. 2014. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-20.
https://search.emarefa.net/detail/BIM-465105
Modern Language Association (MLA)
Gao, Xinyan…[et al.]. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics No. 2014 (2014), pp.1-20.
https://search.emarefa.net/detail/BIM-465105
American Medical Association (AMA)
Gao, Xinyan& Ding, Yingcai& Liu, Wenbo& Zheng, Kaidi& Huang, Siyu& Zhou, Ning…[et al.]. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-20.
https://search.emarefa.net/detail/BIM-465105
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-465105