--- a/model/images/constraints/ordering-agents.svg Wed Aug 08 12:28:11 2012 +0100
+++ b/model/images/constraints/ordering-agents.svg Wed Aug 08 12:43:27 2012 +0100
@@ -14,9 +14,9 @@
height="1052.3622047"
id="svg6710"
version="1.1"
- inkscape:version="0.47 r22583"
+ inkscape:version="0.48.2 r9819"
sodipodi:docname="ordering-agents.svg"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/constraints2.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">
<defs
@@ -1165,6 +1165,118 @@
inkscape:vp_y="0 : 1000 : 0"
inkscape:vp_x="0 : 0.5 : 1"
sodipodi:type="inkscape:persp3d" />
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(0.4,0,0,0.4,4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart-9"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-8"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(0.4,0,0,0.4,4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-4"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(0.4,0,0,0.4,4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-4"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart-4"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(0.4,0,0,0.4,4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-3"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-6"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
</defs>
<sodipodi:namedview
id="base"
@@ -1173,16 +1285,16 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="0.73168726"
- inkscape:cx="372.04724"
- inkscape:cy="632.78401"
+ inkscape:zoom="1.290981"
+ inkscape:cx="661.6601"
+ inkscape:cy="626.11991"
inkscape:document-units="px"
inkscape:current-layer="g8502"
showgrid="false"
- inkscape:window-width="1280"
- inkscape:window-height="978"
- inkscape:window-x="1280"
- inkscape:window-y="0"
+ inkscape:window-width="1680"
+ inkscape:window-height="963"
+ inkscape:window-x="0"
+ inkscape:window-y="27"
inkscape:window-maximized="1"
showguides="true"
inkscape:guide-bbox="true"
@@ -1207,15 +1319,41 @@
id="g8502"
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 504.64818,486.68042 c 218.26235,0.17798 218.26235,0.17798 218.26235,0.17798"
+ 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" />
+ <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" />
+ <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" />
<g
id="g3538"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438">
+ inkscape:export-ydpi="79.550438"
+ transform="translate(-34,0)">
<path
id="path6949-5-1-9-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" />
+ 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: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"
@@ -1233,14 +1371,16 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6949-5-1-9-0-7"
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" />
+ 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"
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" />
+ 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" />
<rect
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1290,7 +1430,8 @@
id="path6941-1-8-3-7-7"
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
<text
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1312,18 +1453,22 @@
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="84.420624"
- y="370.3111"
+ x="82.420624"
+ y="360.3111"
id="text3211-3-0-3-2-6"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
- id="tspan3213-2-4-5-6-7"
- x="84.420624"
- y="370.3111">generation</tspan><tspan
+ x="82.420624"
+ y="360.3111"
+ id="tspan7516-3-0">generation of ag</tspan><tspan
sodipodi:role="line"
- x="84.420624"
- y="384.3111"
- id="tspan7516-3-0"> of ag</tspan></text>
+ x="82.420624"
+ y="374.3111"
+ id="tspan4313">or</tspan><tspan
+ sodipodi:role="line"
+ x="82.420624"
+ y="388.3111"
+ id="tspan4315">start of ag</tspan></text>
<text
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1355,7 +1500,7 @@
inkscape:flatsided="true"
inkscape:rounded="0"
inkscape:randomized="0"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ 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"
@@ -1364,7 +1509,8 @@
id="path6941-7-3-5-0-3-8"
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
<text
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1381,7 +1527,7 @@
y="518.97662">(a) wasAssociatedWith-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 16.94749,-12.313069 z"
+ 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"
@@ -1414,30 +1560,36 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6949-9-7-5-8-2-7-9"
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" />
+ 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: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="407.86017"
- y="341.21359"
+ 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="332.58035"
+ y="361.9971"
id="text3211-3-0-3-2-9-6"
sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- x="407.86017"
- y="341.21359"
- id="tspan7516-3-9-0">invalidation</tspan><tspan
id="tspan3350-6"
sodipodi:role="line"
- x="407.86017"
- y="355.21359"> of ag</tspan></text>
+ x="332.58035"
+ y="361.9971">invalidation of ag </tspan><tspan
+ sodipodi:role="line"
+ x="332.58035"
+ y="375.9971"
+ id="tspan4319">or </tspan><tspan
+ sodipodi:role="line"
+ x="332.58035"
+ y="389.9971"
+ id="tspan4321">end of ag</tspan></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"
- inkscape:connector-type="polyline" />
+ inkscape:connector-type="polyline"
+ inkscape:connector-curvature="0" />
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1455,7 +1607,7 @@
inkscape:flatsided="true"
inkscape:rounded="0"
inkscape:randomized="0"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ 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"
@@ -1464,10 +1616,11 @@
id="path6941-7-3-5-0-3-8-4"
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
</g>
<g
- transform="translate(386.07033,0)"
+ transform="translate(418.07033,0)"
id="g3538-3"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
inkscape:export-xdpi="79.550438"
@@ -1475,7 +1628,8 @@
<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" />
+ 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"
@@ -1497,14 +1651,16 @@
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" />
+ 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" />
+ 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"
@@ -1531,7 +1687,8 @@
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
<text
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1552,19 +1709,23 @@
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="90.420624"
- y="378.3111"
+ 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"
- id="tspan3213-2-4-5-6-7-0"
- x="90.420624"
- y="378.3111">generation</tspan><tspan
+ x="-21.897062"
+ y="384.50793"
+ id="tspan7516-3-0-1">generation of ag</tspan><tspan
sodipodi:role="line"
- x="90.420624"
- y="392.3111"
- id="tspan7516-3-0-1"> of ag</tspan></text>
+ 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"
@@ -1600,7 +1761,7 @@
inkscape:flatsided="true"
inkscape:rounded="0"
inkscape:randomized="0"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ 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"
@@ -1609,7 +1770,8 @@
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
<text
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1626,7 +1788,7 @@
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 16.94749,-12.313069 z"
+ 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"
@@ -1659,30 +1821,44 @@
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" />
+ 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: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="327.86017"
- y="347.21359"
+ 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="327.86017"
- y="347.21359"
- id="tspan7516-3-9-0-6">invalidation</tspan><tspan
- id="tspan3350-6-4"
+ x="310.39178"
+ y="343.21359"
+ id="tspan4395">invalidation of ag </tspan><tspan
sodipodi:role="line"
- x="327.86017"
- y="361.21359"> of ag</tspan></text>
+ 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-type="polyline"
+ inkscape:connector-curvature="0" />
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1700,7 +1876,7 @@
inkscape:flatsided="true"
inkscape:rounded="0"
inkscape:randomized="0"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ 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"
@@ -1709,11 +1885,12 @@
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" />
+ sodipodi:nodetypes="cc"
+ inkscape:connector-curvature="0" />
</g>
<g
id="g3054-7-8"
- transform="translate(526.35499,615.28562)"
+ transform="translate(558.35499,615.28562)"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">