Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

<table>Symmetric quotient model of <svg height="12.0625" id="M869" style="vertical-align:-0.1881pt" version="1.1" viewbox="0 0 12.875 12.0625" width="12.875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.738)"><path d="M421 658l-10 -18q-45 17 -110 17q-72 0 -116 -31t-44 -80q0 -53 55 -84q56 -30 136 -30q6 65 56 118q49 52 115 80t131 28q100 0 100 -73q0 -62 -98 -119q-98 -56 -233 -66q2 -8 4 -12q75 -3 75 -31t-42 -28q-27 0 -53 14q-87 -22 -142 -83q-53 -61 -53 -126
q0 -50 40 -84.5t104 -34.5q94 0 149 60q35 38 35 85q0 34 -24 54t-63 20q-54 0 -100 -40q-46 -38 -64 -102l-21 6q20 82 74.5 130t127.5 48q65 0 99.5 -31t34.5 -84q0 -68 -78 -122t-180 -54q-90 0 -154 44q-62 45 -62 125q0 78 63 140q64 63 174 85v2q-2 2 -4 7l-3.5 9
t-3.5 4q-107 2 -172 41q-64 40 -64 107q0 57 52 97q53 41 137 41q74 0 132 -29zM693 588q0 15 -15 24t-37 9q-71 0 -150 -62q-77 -61 -88 -129q119 8 204 57q86 51 86 101z" id="x2130"></path></g>
</svg>: <svg height="16.0875" id="M870" style="vertical-align:-3.24037pt" version="1.1" viewbox="0 0 22.112499 16.0875" width="22.112499" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.738)"><path d="M421 658l-10 -18q-45 17 -110 17q-72 0 -116 -31t-44 -80q0 -53 55 -84q56 -30 136 -30q6 65 56 118q49 52 115 80t131 28q100 0 100 -73q0 -62 -98 -119q-98 -56 -233 -66q2 -8 4 -12q75 -3 75 -31t-42 -28q-27 0 -53 14q-87 -22 -142 -83q-53 -61 -53 -126
q0 -50 40 -84.5t104 -34.5q94 0 149 60q35 38 35 85q0 34 -24 54t-63 20q-54 0 -100 -40q-46 -38 -64 -102l-21 6q20 82 74.5 130t127.5 48q65 0 99.5 -31t34.5 -84q0 -68 -78 -122t-180 -54q-90 0 -154 44q-62 45 -62 125q0 78 63 140q64 63 174 85v2q-2 2 -4 7l-3.5 9
t-3.5 4q-107 2 -172 41q-64 40 -64 107q0 57 52 97q53 41 137 41q74 0 132 -29zM693 588q0 15 -15 24t-37 9q-71 0 -150 -62q-77 -61 -88 -129q119 8 204 57q86 51 86 101z" id="x2130"></path></g>
<g transform="matrix(.012,-0,0,-.012,12.812,15.825)"><path d="M713 296l-5 -25q-47 -7 -59 -20t-23 -72l-15 -79q-9 -48 -3 -74q-15 -3 -55 -13t-63 -15t-59.5 -10t-70.5 -5q-149 0 -243 80t-94 220q0 169 127.5 276.5t336.5 107.5q91 0 206 -36l-10 -165l-29 -1q1 85 -47.5 126t-146.5 41q-153 0 -243.5 -97t-90.5 -242
q0 -122 68.5 -198.5t188.5 -76.5q121 0 139 75l20 86q13 58 -1.5 70.5t-99.5 20.5l5 26h267z" id="x1D43A"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig10

Figure 10

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