Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

<table>Slice model with respect to <svg height="12.325" id="M739" style="vertical-align:-2.29482pt" version="1.1" viewbox="0 0 10.0125 12.325" width="10.0125" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,7.825)"><path d="M559 271q0 -109 -83 -187t-189 -89l-36 -213q-16 -30 -86 -43l-7 9q10 36 53 242q-91 11 -139.5 63.5t-48.5 132.5q0 186 242 271l11 -28q-76 -34 -119.5 -91.5t-43.5 -136.5q0 -66 29 -108.5t77 -55.5q39 205 56 260q21 71 65 111t93 40q50 0 88 -45.5t38 -131.5z
M484 273q0 65 -26.5 99t-52.5 34q-37 0 -53 -75l-59 -298q80 5 135.5 74.5t55.5 165.5z" id="x1D711"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig8

Figure 8

Figure 8: Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures 