updated figure 6 b
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 04 Sep 2012 12:31:04 +0100
changeset 4400 8d051b19a583
parent 4399 18b9114e0ded
child 4401 45c46f58b289
updated figure 6 b
model/images/constraints/ordering-agents.png
model/images/constraints/ordering-agents.svg
Binary file model/images/constraints/ordering-agents.png has changed
--- a/model/images/constraints/ordering-agents.svg	Tue Sep 04 10:03:19 2012 +0200
+++ b/model/images/constraints/ordering-agents.svg	Tue Sep 04 12:31:04 2012 +0100
@@ -1285,16 +1285,16 @@
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="1.290981"
-     inkscape:cx="661.6601"
-     inkscape:cy="626.11991"
+     inkscape:zoom="1.2133952"
+     inkscape:cx="403.28911"
+     inkscape:cy="744.1264"
      inkscape:document-units="px"
      inkscape:current-layer="g8502"
      showgrid="false"
      inkscape:window-width="1680"
-     inkscape:window-height="963"
-     inkscape:window-x="0"
-     inkscape:window-y="27"
+     inkscape:window-height="1017"
+     inkscape:window-x="1680"
+     inkscape:window-y="0"
      inkscape:window-maximized="1"
      showguides="true"
      inkscape:guide-bbox="true"
@@ -1321,31 +1321,34 @@
        inkscape:export-ydpi="79.550438">
       <path
          inkscape:connector-curvature="0"
-         style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
-         d="m 504.64818,486.68042 c 218.26235,0.17798 218.26235,0.17798 218.26235,0.17798"
+         style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:0.71695977;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
+         d="m 554.11457,486.67355 c 104.15688,0.19172 104.15688,0.19172 104.15688,0.19172"
          id="path3117-9-8"
-         sodipodi:nodetypes="cc" />
-      <path
-         inkscape:connector-curvature="0"
-         style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
-         d="m 617.499,472.98995 c 129.41968,0.19116 129.41968,0.19116 129.41968,0.19116"
-         id="path3117-9"
-         sodipodi:nodetypes="cc" />
+         sodipodi:nodetypes="cc"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
       <path
          inkscape:connector-curvature="0"
          style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
          d="m 165.61318,472.99141 c 128.93297,0.19124 128.93297,0.19124 128.93297,0.19124"
          id="path3117"
-         sodipodi:nodetypes="cc" />
+         sodipodi:nodetypes="cc"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
       <path
          inkscape:connector-curvature="0"
          style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1.00265288;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
          d="m 53.322897,486.91841 c 217.666133,0.1772 217.666133,0.1772 217.666133,0.1772"
          id="path3117-2"
-         sodipodi:nodetypes="cc" />
+         sodipodi:nodetypes="cc"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
       <g
          id="g3538"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
          inkscape:export-xdpi="79.550438"
          inkscape:export-ydpi="79.550438"
          transform="translate(-34,0)">
@@ -1619,279 +1622,195 @@
            sodipodi:nodetypes="cc"
            inkscape:connector-curvature="0" />
       </g>
+      <path
+         inkscape:connector-curvature="0"
+         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
+         d="m 659.393,289.80634 c 0,216.77224 0,216.30303 0,216.30303"
+         id="path6949-5-1-9-1-1"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
+      <path
+         inkscape:connector-curvature="0"
+         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
+         d="m 552.40576,287.15871 c 0,216.77224 0,216.30303 0,216.30303"
+         id="path6949-9-7-5-8-2-1-3"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
       <g
-         transform="translate(418.07033,0)"
-         id="g3538-3"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+         transform="matrix(0.6,0,0,0.6,406.86831,259.17583)"
+         id="g2917-0-4-2-8-9-9"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
          inkscape:export-xdpi="79.550438"
          inkscape:export-ydpi="79.550438">
-        <path
-           id="path6949-5-1-9-1-1"
-           d="m 306.73878,285.15871 c 0,216.77224 0,216.30303 0,216.30303"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
-           inkscape:connector-curvature="0" />
         <text
            xml:space="preserve"
-           style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="304.51953"
-           y="378.18613"
-           id="text3215-4-8-5-7-5"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3217-8-7-5-5-8"
-             x="307.66406"
-             y="378.18613">invalidation </tspan><tspan
-             sodipodi:role="line"
-             x="304.51953"
-             y="392.18613"
-             id="tspan3780">of e</tspan></text>
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6949-5-1-9-0-7-1"
-           d="m 197.56342,285.09843 c 0,190.64125 0,190.2286 0,190.2286"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000002, 2.00000002;stroke-dashoffset:0"
-           inkscape:connector-curvature="0" />
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6949-9-7-5-8-2-1-3"
-           d="m 84.335433,287.15871 c 0,216.77224 0,216.30303 0,216.30303"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
-           inkscape:connector-curvature="0" />
-        <g
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="g2917-0-4-2-8-9-9"
-           transform="matrix(0.6,0,0,0.6,-11.202017,259.17583)">
-          <text
-             sodipodi:linespacing="100%"
-             id="text2841-4-8-9-8-4-3-4"
-             y="303.74017"
-             x="409.47354"
-             style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-             xml:space="preserve"><tspan
-               style="font-size:18px"
-               y="303.74017"
-               x="409.47354"
-               id="tspan2843-8-72-0-4-1-3-9"
-               sodipodi:role="line" /></text>
-        </g>
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6941-1-8-3-7-7-6"
-           d="m 56.27519,303.169 c 320.00791,0 320.4949,0.007 320.4949,0.007"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
-           sodipodi:nodetypes="cc"
-           inkscape:connector-curvature="0" />
-        <text
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           sodipodi:linespacing="100%"
-           id="text6943-33-9-9-6-9-7"
-           y="299.83755"
-           x="48.046959"
-           style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           xml:space="preserve"><tspan
-             y="299.83755"
-             x="48.046959"
-             id="tspan6945-9-8-0-8-8-2"
-             sodipodi:role="line"
-             style="font-size:9.60000038px">Event line</tspan></text>
-        <text
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           xml:space="preserve"
-           style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="79.720406"
-           y="384.50793"
-           id="text3211-3-0-3-2-6-1"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             x="-21.897062"
-             y="384.50793"
-             id="tspan7516-3-0-1">generation of ag</tspan><tspan
-             sodipodi:role="line"
-             x="-21.897062"
-             y="398.50793"
-             id="tspan4385">or</tspan><tspan
-             sodipodi:role="line"
-             x="-21.897062"
-             y="412.50793"
-             id="tspan4387">start or ag</tspan></text>
-        <text
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           xml:space="preserve"
-           style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="200.0116"
-           y="327.44241"
-           id="text3215-4-8-5-0-4-3"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+           x="409.47354"
+           y="303.74017"
+           id="text2841-4-8-9-8-4-3-4"
            sodipodi:linespacing="100%"><tspan
              sodipodi:role="line"
-             id="tspan3217-8-7-5-4-8-7"
-             x="200.0116"
-             y="327.44241">generation</tspan><tspan
-             sodipodi:role="line"
-             x="200.0116"
-             y="341.44241"
-             id="tspan3778">of e</tspan></text>
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           sodipodi:type="star"
-           style="fill:url(#linearGradient7925-1-3);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-81-0-4-4-7"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 z"
-           transform="matrix(1,0,0,0.68177752,18.262173,407.2027)" />
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6941-7-3-5-0-3-8-6"
-           d="m 56.275194,486.88732 c 309.109936,0 309.580336,0.005 309.580336,0.005"
-           style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
-           sodipodi:nodetypes="cc"
-           inkscape:connector-curvature="0" />
-        <text
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           xml:space="preserve"
-           style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="92.68203"
+             id="tspan2843-8-72-0-4-1-3-9"
+             x="409.47354"
+             y="303.74017"
+             style="font-size:18px" /></text>
+      </g>
+      <path
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="cc"
+         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
+         d="m 474.34552,303.169 c 320.00791,0 320.4949,0.007 320.4949,0.007"
+         id="path6941-1-8-3-7-7-6"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
+      <text
+         xml:space="preserve"
+         style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         x="466.11728"
+         y="299.83755"
+         id="text6943-33-9-9-6-9-7"
+         sodipodi:linespacing="100%"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438"><tspan
+           style="font-size:9.60000038px"
+           sodipodi:role="line"
+           id="tspan6945-9-8-0-8-8-2"
+           x="466.11728"
+           y="299.83755">Event line</tspan></text>
+      <text
+         sodipodi:linespacing="100%"
+         id="text3211-3-0-3-2-6-1"
+         y="384.50793"
+         x="547.79077"
+         style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438"><tspan
+           id="tspan7516-3-0-1"
+           y="384.50793"
+           x="547.79077"
+           sodipodi:role="line">generation of ag</tspan><tspan
+           id="tspan4385"
+           y="398.50793"
+           x="547.79077"
+           sodipodi:role="line">or</tspan><tspan
+           id="tspan4387"
+           y="412.50793"
+           x="547.79077"
+           sodipodi:role="line">start of ag</tspan></text>
+      <text
+         sodipodi:linespacing="100%"
+         id="text3215-4-8-5-0-4-3"
+         y="327.44241"
+         x="668.08191"
+         style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438"><tspan
+           y="327.44241"
+           x="668.08191"
+           id="tspan3217-8-7-5-4-8-7"
+           sodipodi:role="line">generation</tspan><tspan
+           id="tspan3778"
+           y="341.44241"
+           x="668.08191"
+           sodipodi:role="line">of e</tspan></text>
+      <path
+         transform="matrix(1,0,0,0.68177752,486.3325,407.2027)"
+         d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 z"
+         inkscape:randomized="0"
+         inkscape:rounded="0"
+         inkscape:flatsided="true"
+         sodipodi:arg2="1.0471976"
+         sodipodi:arg1="0"
+         sodipodi:r2="11.596869"
+         sodipodi:r1="23.193739"
+         sodipodi:cy="116.88141"
+         sodipodi:cx="120.80072"
+         sodipodi:sides="3"
+         id="path3209-5-81-0-4-4-7"
+         style="fill:url(#linearGradient7925-1-3);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         sodipodi:type="star"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
+      <path
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="cc"
+         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000000999999994, 3.00000000999999994;stroke-dashoffset:0;marker-end:none"
+         d="m 474.34552,486.88732 c 309.10994,0 309.58034,0.005 309.58034,0.005"
+         id="path6941-7-3-5-0-3-8-6"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
+      <text
+         sodipodi:linespacing="100%"
+         id="text7931-0-7-1-6-3"
+         y="518.97662"
+         x="510.75235"
+         style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438"><tspan
            y="518.97662"
-           id="text7931-0-7-1-6-3"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan7933-2-1-5-8-9"
-             x="92.68203"
-             y="518.97662">(b) wasAttributedTo-ordering</tspan></text>
-        <path
-           transform="translate(248.10261,302.31927)"
-           d="m -135.30371,12.24785 16.94749,12.31307 -6.47337,19.922964 -20.94824,0 -6.47337,-19.922965 z"
-           inkscape:randomized="0"
-           inkscape:rounded="0"
-           inkscape:flatsided="true"
-           sodipodi:arg2="-0.94247775"
-           sodipodi:arg1="-1.5707963"
-           sodipodi:r2="13.314233"
-           sodipodi:r1="17.819641"
-           sodipodi:cy="30.067492"
-           sodipodi:cx="-135.30371"
-           sodipodi:sides="5"
-           id="path3274-5-1"
-           style="fill:#e88a49;fill-opacity:0.20171652;stroke:#b75912;stroke-width:3;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           sodipodi:type="star" />
-        <text
-           sodipodi:linespacing="100%"
-           id="text2835-5-7-4-0-5-2-2-0"
+           x="510.75235"
+           id="tspan7933-2-1-5-8-9"
+           sodipodi:role="line">(b) wasAttributedTo-ordering</tspan></text>
+      <path
+         sodipodi:type="star"
+         style="fill:#e88a49;fill-opacity:0.20171652;stroke:#b75912;stroke-width:3;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         id="path3274-5-1"
+         sodipodi:sides="5"
+         sodipodi:cx="-135.30371"
+         sodipodi:cy="30.067492"
+         sodipodi:r1="17.819641"
+         sodipodi:r2="13.314233"
+         sodipodi:arg1="-1.5707963"
+         sodipodi:arg2="-0.94247775"
+         inkscape:flatsided="true"
+         inkscape:rounded="0"
+         inkscape:randomized="0"
+         d="m -135.30371,12.24785 16.94749,12.31307 -6.47337,19.922964 -20.94824,0 -6.47337,-19.922965 z"
+         transform="translate(716.17294,302.31927)"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
+      <text
+         xml:space="preserve"
+         style="font-size:21.60000038px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         x="569.01691"
+         y="337.84442"
+         id="text2835-5-7-4-0-5-2-2-0"
+         sodipodi:linespacing="100%"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438"><tspan
            y="337.84442"
-           x="100.94657"
-           style="font-size:21.60000038px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           xml:space="preserve"><tspan
-             id="tspan2915-3-5-5-72-9-1-4"
-             sodipodi:role="line"
-             x="100.94657"
-             y="337.84442">ag<tspan
-   style="font-size:14px"
-   id="tspan7508-1-6-9-1" /></tspan></text>
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6949-9-7-5-8-2-7-9-1"
-           d="m 330.64733,287.0884 c 0,186.28606 0,185.88284 0,185.88284"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
-           inkscape:connector-curvature="0" />
-        <text
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           xml:space="preserve"
-           style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="310.39178"
-           y="343.21359"
-           id="text3211-3-0-3-2-9-6-8"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             x="310.39178"
-             y="343.21359"
-             id="tspan4395">invalidation of ag </tspan><tspan
-             sodipodi:role="line"
-             x="310.39178"
-             y="357.21359"
-             id="tspan4399">or</tspan><tspan
-             sodipodi:role="line"
-             x="310.39178"
-             y="371.21359"
-             id="tspan4401"> end of ag</tspan><tspan
-             sodipodi:role="line"
-             x="310.39178"
-             y="385.21359"
-             id="tspan4391" /><tspan
-             sodipodi:role="line"
-             x="310.39178"
-             y="399.21359"
-             id="tspan4393" /></text>
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#marker8943-92-22)"
-           d="M 252.12674,414.95086 126.6091,338.54882"
-           id="path3747-3"
-           inkscape:connector-type="polyline"
-           inkscape:connector-curvature="0" />
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           sodipodi:type="star"
-           style="fill:url(#linearGradient5253-3);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-81-0-4-4-3-4"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 z"
-           transform="matrix(1,0,0,0.68177752,131.1346,393.29995)" />
-        <path
-           inkscape:export-ydpi="79.550438"
-           inkscape:export-xdpi="79.550438"
-           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-           id="path6941-7-3-5-0-3-8-4-7"
-           d="m 57.147618,472.98457 c 309.109942,0 309.580342,0.005 309.580342,0.005"
-           style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
-           sodipodi:nodetypes="cc"
-           inkscape:connector-curvature="0" />
-      </g>
+           x="569.01691"
+           sodipodi:role="line"
+           id="tspan2915-3-5-5-72-9-1-4">ag<tspan
+   id="tspan7508-1-6-9-1"
+   style="font-size:14px" /></tspan></text>
+      <path
+         inkscape:connector-curvature="0"
+         inkscape:connector-type="polyline"
+         id="path3747-3"
+         d="M 720.19707,414.95086 594.67943,338.54882"
+         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#marker8943-92-22)"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+         inkscape:export-xdpi="79.550438"
+         inkscape:export-ydpi="79.550438" />
       <g
          id="g3054-7-8"
-         transform="translate(558.35499,615.28562)"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+         transform="translate(608.35499,615.28562)"
+         inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
          inkscape:export-xdpi="79.550438"
          inkscape:export-ydpi="79.550438">
         <path