Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

<table>Reduced model: <svg height="17.9625" id="M891" style="vertical-align:-0.1881pt" version="1.1" viewbox="0 0 17.025 17.9625" width="17.025" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,17.65)"><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,9.488)"><path d="M227 744l-123 -338l-31 15l73 368q12 3 41.5 -8t36.5 -20z" id="x2032"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig11

Figure 11

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