--- a/model/images/constraints/ordering-activity.svg Wed Aug 08 12:10:14 2012 +0100
+++ b/model/images/constraints/ordering-activity.svg Wed Aug 08 12:23:39 2012 +0100
@@ -14,7 +14,7 @@
height="1052.3622047"
id="svg6710"
version="1.1"
- inkscape:version="0.47 r22583"
+ inkscape:version="0.48.2 r9819"
sodipodi:docname="ordering-activity.svg"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-activity.png"
inkscape:export-xdpi="79.550438"
@@ -937,6 +937,202 @@
y1="108.27257"
x2="139.6636"
y2="126.8805" />
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart-2"
+ 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-1"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-9"
+ 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-5"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-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="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-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="Arrow1Mstart"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mstart-4"
+ 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-0"
+ 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-12"
+ 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-26"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-3"
+ 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-0"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-2"
+ 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-5"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-7"
+ 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-1"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4346-3"
+ 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-0"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4349-38"
+ 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="marker4623"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4625"
+ 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="marker4627"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4629"
+ 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"
@@ -945,19 +1141,20 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="0.89838733"
- inkscape:cx="436.17733"
- inkscape:cy="984.66835"
+ inkscape:zoom="7.5787193"
+ inkscape:cx="539.08935"
+ inkscape:cy="705.00773"
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" />
+ inkscape:guide-bbox="true"
+ inkscape:snap-global="false" />
<metadata
id="metadata6715">
<rdf:RDF>
@@ -966,7 +1163,7 @@
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
- <dc:title></dc:title>
+ <dc:title />
</cc:Work>
</rdf:RDF>
</metadata>
@@ -979,6 +1176,42 @@
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 543.36646,350.24167 c 53.54189,0.19464 53.54189,0.19464 53.54189,0.19464"
+ id="path3117-0-4-7"
+ 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 489.07695,350.14799 c 50.05934,0.1954 50.05934,0.1954 50.05934,0.1954"
+ id="path3117-0-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 150.80749,362.95072 c 52.65103,0.19504 52.65103,0.19504 52.65103,0.19504"
+ id="path3117-0-4"
+ 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 95.6253,362.85742 c 50.82189,0.19504 50.82189,0.19504 50.82189,0.19504"
+ id="path3117-0"
+ 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-opacity:1;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none"
+ d="m 49.904502,651.00593 c 175.463858,0.19504 175.463858,0.19504 175.463858,0.19504"
+ id="path3117-6-6"
+ 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-opacity:1;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend);stroke-miterlimit:4;stroke-dasharray:none"
+ d="m 442.17763,651.0308 c 128.94066,0.19504 128.94066,0.19504 128.94066,0.19504"
+ id="path3117-61"
+ sodipodi:nodetypes="cc" />
+ <path
style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
d="m 269.91961,132.97445 c 110.58884,0.19504 110.58884,0.19504 110.58884,0.19504"
id="path3117"
@@ -1089,7 +1322,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,23.611065,53.194293)" />
</g>
<g
@@ -1190,7 +1423,7 @@
transform="translate(-1e-6,-50)">
<path
transform="matrix(1,0,0,0.68177752,23.611066,797.41703)"
- 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"
inkscape:randomized="0"
inkscape:rounded="0"
inkscape:flatsided="true"
@@ -1257,7 +1490,8 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
d="M 200.44279,759.442 155.95972,734.28786"
id="path5224-3"
- inkscape:connector-type="polyline" />
+ inkscape:connector-type="polyline"
+ inkscape:connector-curvature="0" />
<rect
style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
id="rect2923-2-5-8-1"
@@ -1269,7 +1503,8 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
d="M 131.36294,725.20667 86.87987,700.05253"
id="path5224-3-4"
- inkscape:connector-type="polyline" />
+ inkscape:connector-type="polyline"
+ inkscape:connector-curvature="0" />
<g
id="g2917-0-4-2-5"
transform="matrix(0.6,0,0,0.6,-144.76237,504.78134)">
@@ -1491,7 +1726,8 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-activity.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ inkscape:connector-curvature="0" />
<rect
y="485.10962"
x="440.62909"
@@ -1509,7 +1745,8 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-activity.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ inkscape:connector-curvature="0" />
<g
transform="matrix(0.6,0,0,0.6,247.73237,328.78134)"
id="g2917-0-4-2-5-3"
@@ -1629,7 +1866,7 @@
y="432.03799">Event line</tspan></text>
<path
transform="matrix(1,0,0,0.68177752,-4.388935,473.40314)"
- 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"
inkscape:randomized="0"
inkscape:rounded="0"
inkscape:flatsided="true"
@@ -1719,7 +1956,7 @@
id="path6949-5-0-8" />
<path
transform="matrix(1,0,0,0.68177752,50.814112,473.40314)"
- 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"
inkscape:randomized="0"
inkscape:rounded="0"
inkscape:flatsided="true"
@@ -1756,7 +1993,8 @@
inkscape:connector-type="polyline"
id="path5224"
d="M 178.46189,494.64502 133.97882,469.49088"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)" />
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
+ inkscape:connector-curvature="0" />
</g>
<text
inkscape:export-ydpi="79.550438"
@@ -1790,7 +2028,9 @@
inkscape:connector-type="polyline"
id="path4716"
d="M 178.66438,327.24598 116.84854,302.129"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
+ inkscape:connection-start-point="d4"
+ inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
d="m 205.48904,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
@@ -1852,7 +2092,7 @@
y="249.42891">Event line</tspan></text>
<path
transform="matrix(1,0,0,0.68177752,-4.388935,290.79407)"
- 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"
inkscape:randomized="0"
inkscape:rounded="0"
inkscape:flatsided="true"
@@ -1942,7 +2182,7 @@
id="path6949-5-0" />
<path
transform="matrix(1,0,0,0.68177752,50.814112,290.79407)"
- 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"
inkscape:randomized="0"
inkscape:rounded="0"
inkscape:flatsided="true"