Binary file model/images/constraints/informedByNonTransitive.png has changed
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/images/constraints/informedByNonTransitive.svg Fri Jul 20 08:21:25 2012 +0100
@@ -0,0 +1,471 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ width="744.09448819"
+ height="1052.3622047"
+ id="svg6710"
+ version="1.1"
+ inkscape:version="0.47 r22583"
+ sodipodi:docname="informedByNonTransitive.svg"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/informedByNonTransitive.png"
+ inkscape:export-xdpi="53.787918"
+ inkscape:export-ydpi="53.787918">
+ <defs
+ id="defs6712">
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0.0"
+ refX="0.0"
+ id="Arrow1Lend"
+ style="overflow:visible;">
+ <path
+ id="path4091"
+ d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;"
+ transform="scale(0.8) rotate(180) translate(12.5,0)" />
+ </marker>
+ <inkscape:perspective
+ sodipodi:type="inkscape:persp3d"
+ inkscape:vp_x="0 : 526.18109 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_z="744.09448 : 526.18109 : 1"
+ inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+ id="perspective6718" />
+ <inkscape:perspective
+ id="perspective6728"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective6728-3"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective6794"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective6840"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective6877"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective6959"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective8909"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-2"
+ style="overflow:visible">
+ <path
+ id="path4091-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.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <inkscape:perspective
+ id="perspective8937"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4"
+ style="overflow:visible">
+ <path
+ id="path4091-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.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943"
+ style="overflow:visible">
+ <path
+ id="path8945"
+ 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.8,0,0,-0.8,-10,0)" />
+ </marker>
+ </defs>
+ <sodipodi:namedview
+ id="base"
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1.0"
+ inkscape:pageopacity="0.0"
+ inkscape:pageshadow="2"
+ inkscape:zoom="1.1342589"
+ inkscape:cx="248.29943"
+ inkscape:cy="729.86237"
+ inkscape:document-units="px"
+ inkscape:current-layer="layer1"
+ showgrid="false"
+ inkscape:window-width="1280"
+ inkscape:window-height="1001"
+ inkscape:window-x="1280"
+ inkscape:window-y="0"
+ inkscape:window-maximized="1"
+ showguides="true"
+ inkscape:guide-bbox="true" />
+ <metadata
+ id="metadata6715">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ <dc:title></dc:title>
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <g
+ inkscape:label="Layer 1"
+ inkscape:groupmode="layer"
+ id="layer1">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:0.99999988px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+ d="M 478.34645,220.03937 457.3123,145.66376"
+ id="path8713"
+ inkscape:connector-type="polyline" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+ d="M 531.29022,338.50418 506.33353,275.13667"
+ id="path8713-9"
+ inkscape:connector-type="polyline" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+ d="M 405.10178,599.76389 380.14509,536.39638"
+ id="path8713-9-6"
+ inkscape:connector-type="polyline" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:0.99999994px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+ d="M 352.15801,481.29908 330.24462,403.39694"
+ id="path8713-8"
+ inkscape:connector-type="polyline" />
+ <path
+ id="path6949"
+ d="m 449.54554,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
+ <path
+ id="path6949-9"
+ d="m 420.58154,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
+ <g
+ id="g5243"
+ transform="translate(379.25147,-35.000779)">
+ <path
+ sodipodi:type="arc"
+ style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path2816"
+ sodipodi:cx="93.832016"
+ sodipodi:cy="294.48819"
+ sodipodi:rx="31.75853"
+ sodipodi:ry="31.75853"
+ d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+ transform="translate(15.48794,-9.9823697)" />
+ <g
+ transform="translate(4.885823,3.9831957)"
+ id="g2845">
+ <text
+ xml:space="preserve"
+ style="font-size:36px;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="91.530045"
+ y="289.34262"
+ id="text2835"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2837"
+ x="91.530045"
+ y="289.34262">e<tspan
+ style="font-size:20px"
+ id="tspan2839" /></tspan></text>
+ <text
+ xml:space="preserve"
+ 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="107.70822"
+ y="289.77463"
+ id="text2841"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843"
+ x="107.70822"
+ y="289.77463"
+ style="font-size:18px">1</tspan></text>
+ </g>
+ </g>
+ <g
+ id="g5243-3"
+ transform="translate(263.59906,218.54252)">
+ <path
+ sodipodi:type="arc"
+ style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path2816-5"
+ sodipodi:cx="93.832016"
+ sodipodi:cy="294.48819"
+ sodipodi:rx="31.75853"
+ sodipodi:ry="31.75853"
+ d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+ transform="translate(15.48794,-9.9823697)" />
+ <g
+ transform="translate(4.885823,3.9831957)"
+ id="g2845-6">
+ <text
+ xml:space="preserve"
+ style="font-size:36px;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="91.530045"
+ y="289.34262"
+ id="text2835-6"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2837-3"
+ x="91.530045"
+ y="289.34262">e<tspan
+ style="font-size:20px"
+ id="tspan2839-3" /></tspan></text>
+ <text
+ xml:space="preserve"
+ 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="107.70822"
+ y="289.77463"
+ id="text2841-1"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-2"
+ x="107.70822"
+ y="289.77463"
+ style="font-size:18px">2</tspan></text>
+ </g>
+ </g>
+ <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"
+ width="216.55867"
+ height="62.447308"
+ x="448.95068"
+ y="81.138527" />
+ <g
+ id="g2917"
+ transform="translate(140.51483,-182.12599)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-5"
+ y="303.30817"
+ x="391.29538"
+ style="font-size:36px;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"
+ sodipodi:role="line"
+ x="391.29538"
+ y="303.30817">a</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-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"
+ sodipodi:role="line">1</tspan></text>
+ </g>
+ <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-0"
+ width="239.59016"
+ height="62.447308"
+ x="311.63348"
+ y="341.13852" />
+ <g
+ id="g2917-7"
+ transform="translate(26.229131,77.874009)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-5-3"
+ y="303.30817"
+ x="391.29538"
+ style="font-size:36px;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-5"
+ sodipodi:role="line"
+ x="391.29538"
+ y="303.30817">a</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-4-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-7"
+ sodipodi:role="line">2</tspan></text>
+ </g>
+ <rect
+ style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999986;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="rect2923-0-9"
+ width="198.84213"
+ height="62.447308"
+ x="222.06657"
+ y="600.64917" />
+ <text
+ xml:space="preserve"
+ style="font-size:36px;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="306.0903"
+ y="639.66785"
+ id="text2835-5-3-1"
+ sodipodi:linespacing="100%"><tspan
+ y="639.66785"
+ x="306.0903"
+ sodipodi:role="line"
+ id="tspan2915-5-8">a</tspan></text>
+ <text
+ xml:space="preserve"
+ 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="324.26846"
+ y="640.09985"
+ id="text2841-4-4-5"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-8-7-8"
+ x="324.26846"
+ y="640.09985"
+ style="font-size:18px">3</tspan></text>
+ <path
+ id="path6941"
+ d="m 108.07086,47.834639 c 579.3307,0 580.21233,0.0084 580.21233,0.0084"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943)"
+ sodipodi:nodetypes="cc" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text6943"
+ y="42.452583"
+ x="102.79784"
+ 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"><tspan
+ y="42.452583"
+ x="102.79784"
+ id="tspan6945"
+ sodipodi:role="line"
+ style="font-size:16">Time</tspan></text>
+ <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"
+ x="454.51443"
+ y="35.023102"
+ id="text8977"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8979"
+ x="454.51443"
+ y="35.023102">start of a1</tspan></text>
+ <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="419.24911"
+ y="35.023102"
+ id="text8981"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8983"
+ x="419.24911"
+ y="35.023102">end of a3</tspan></text>
+ <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"
+ x="474.31848"
+ y="186.59866"
+ id="text8985"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8987"
+ x="474.31848"
+ y="186.59866">wasGeneratedBy</tspan></text>
+ <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"
+ x="231.86945"
+ y="448.44363"
+ id="text8989"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8991"
+ x="231.86945"
+ y="448.44363">wasGeneratedBy</tspan></text>
+ <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"
+ x="523.68994"
+ y="308.26401"
+ id="text8993"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8995"
+ x="523.68994"
+ y="308.26401">used</tspan></text>
+ <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"
+ x="357.94296"
+ y="572.75391"
+ id="text8997"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan8999"
+ x="357.94296"
+ y="572.75391">used</tspan></text>
+ </g>
+</svg>
Binary file model/images/informedByNonTransitive.png has changed
--- a/model/images/informedByNonTransitive.svg Fri Jul 20 08:20:12 2012 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,471 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-
-<svg
- xmlns:dc="http://purl.org/dc/elements/1.1/"
- xmlns:cc="http://creativecommons.org/ns#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- xmlns:svg="http://www.w3.org/2000/svg"
- xmlns="http://www.w3.org/2000/svg"
- xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
- xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
- width="744.09448819"
- height="1052.3622047"
- id="svg6710"
- version="1.1"
- inkscape:version="0.47 r22583"
- sodipodi:docname="informedByNonTransitive.svg"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/informedByNonTransitive.png"
- inkscape:export-xdpi="53.787918"
- inkscape:export-ydpi="53.787918">
- <defs
- id="defs6712">
- <marker
- inkscape:stockid="Arrow1Lend"
- orient="auto"
- refY="0.0"
- refX="0.0"
- id="Arrow1Lend"
- style="overflow:visible;">
- <path
- id="path4091"
- d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
- style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;"
- transform="scale(0.8) rotate(180) translate(12.5,0)" />
- </marker>
- <inkscape:perspective
- sodipodi:type="inkscape:persp3d"
- inkscape:vp_x="0 : 526.18109 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_z="744.09448 : 526.18109 : 1"
- inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
- id="perspective6718" />
- <inkscape:perspective
- id="perspective6728"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective6728-3"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective6794"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective6840"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective6877"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective6959"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <inkscape:perspective
- id="perspective8909"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <marker
- inkscape:stockid="Arrow1Lend"
- orient="auto"
- refY="0"
- refX="0"
- id="Arrow1Lend-2"
- style="overflow:visible">
- <path
- id="path4091-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.8,0,0,-0.8,-10,0)" />
- </marker>
- <inkscape:perspective
- id="perspective8937"
- inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
- inkscape:vp_z="1 : 0.5 : 1"
- inkscape:vp_y="0 : 1000 : 0"
- inkscape:vp_x="0 : 0.5 : 1"
- sodipodi:type="inkscape:persp3d" />
- <marker
- inkscape:stockid="Arrow1Lend"
- orient="auto"
- refY="0"
- refX="0"
- id="Arrow1Lend-4"
- style="overflow:visible">
- <path
- id="path4091-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.8,0,0,-0.8,-10,0)" />
- </marker>
- <marker
- inkscape:stockid="Arrow1Lend"
- orient="auto"
- refY="0"
- refX="0"
- id="marker8943"
- style="overflow:visible">
- <path
- id="path8945"
- 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.8,0,0,-0.8,-10,0)" />
- </marker>
- </defs>
- <sodipodi:namedview
- id="base"
- pagecolor="#ffffff"
- bordercolor="#666666"
- borderopacity="1.0"
- inkscape:pageopacity="0.0"
- inkscape:pageshadow="2"
- inkscape:zoom="1.1342589"
- inkscape:cx="248.29943"
- inkscape:cy="729.86237"
- inkscape:document-units="px"
- inkscape:current-layer="layer1"
- showgrid="false"
- inkscape:window-width="1280"
- inkscape:window-height="1001"
- inkscape:window-x="1280"
- inkscape:window-y="0"
- inkscape:window-maximized="1"
- showguides="true"
- inkscape:guide-bbox="true" />
- <metadata
- id="metadata6715">
- <rdf:RDF>
- <cc:Work
- rdf:about="">
- <dc:format>image/svg+xml</dc:format>
- <dc:type
- rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
- <dc:title></dc:title>
- </cc:Work>
- </rdf:RDF>
- </metadata>
- <g
- inkscape:label="Layer 1"
- inkscape:groupmode="layer"
- id="layer1">
- <path
- style="fill:none;stroke:#000000;stroke-width:0.99999988px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
- d="M 478.34645,220.03937 457.3123,145.66376"
- id="path8713"
- inkscape:connector-type="polyline" />
- <path
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
- d="M 531.29022,338.50418 506.33353,275.13667"
- id="path8713-9"
- inkscape:connector-type="polyline" />
- <path
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
- d="M 405.10178,599.76389 380.14509,536.39638"
- id="path8713-9-6"
- inkscape:connector-type="polyline" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.99999994px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
- d="M 352.15801,481.29908 330.24462,403.39694"
- id="path8713-8"
- inkscape:connector-type="polyline" />
- <path
- id="path6949"
- d="m 449.54554,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
- <path
- id="path6949-9"
- d="m 420.58154,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
- <g
- id="g5243"
- transform="translate(379.25147,-35.000779)">
- <path
- sodipodi:type="arc"
- style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- id="path2816"
- sodipodi:cx="93.832016"
- sodipodi:cy="294.48819"
- sodipodi:rx="31.75853"
- sodipodi:ry="31.75853"
- d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
- transform="translate(15.48794,-9.9823697)" />
- <g
- transform="translate(4.885823,3.9831957)"
- id="g2845">
- <text
- xml:space="preserve"
- style="font-size:36px;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="91.530045"
- y="289.34262"
- id="text2835"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2837"
- x="91.530045"
- y="289.34262">e<tspan
- style="font-size:20px"
- id="tspan2839" /></tspan></text>
- <text
- xml:space="preserve"
- 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="107.70822"
- y="289.77463"
- id="text2841"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2843"
- x="107.70822"
- y="289.77463"
- style="font-size:18px">1</tspan></text>
- </g>
- </g>
- <g
- id="g5243-3"
- transform="translate(263.59906,218.54252)">
- <path
- sodipodi:type="arc"
- style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- id="path2816-5"
- sodipodi:cx="93.832016"
- sodipodi:cy="294.48819"
- sodipodi:rx="31.75853"
- sodipodi:ry="31.75853"
- d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
- transform="translate(15.48794,-9.9823697)" />
- <g
- transform="translate(4.885823,3.9831957)"
- id="g2845-6">
- <text
- xml:space="preserve"
- style="font-size:36px;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="91.530045"
- y="289.34262"
- id="text2835-6"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2837-3"
- x="91.530045"
- y="289.34262">e<tspan
- style="font-size:20px"
- id="tspan2839-3" /></tspan></text>
- <text
- xml:space="preserve"
- 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="107.70822"
- y="289.77463"
- id="text2841-1"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2843-2"
- x="107.70822"
- y="289.77463"
- style="font-size:18px">2</tspan></text>
- </g>
- </g>
- <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"
- width="216.55867"
- height="62.447308"
- x="448.95068"
- y="81.138527" />
- <g
- id="g2917"
- transform="translate(140.51483,-182.12599)">
- <text
- sodipodi:linespacing="100%"
- id="text2835-5"
- y="303.30817"
- x="391.29538"
- style="font-size:36px;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"
- sodipodi:role="line"
- x="391.29538"
- y="303.30817">a</tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text2841-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"
- sodipodi:role="line">1</tspan></text>
- </g>
- <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-0"
- width="239.59016"
- height="62.447308"
- x="311.63348"
- y="341.13852" />
- <g
- id="g2917-7"
- transform="translate(26.229131,77.874009)">
- <text
- sodipodi:linespacing="100%"
- id="text2835-5-3"
- y="303.30817"
- x="391.29538"
- style="font-size:36px;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-5"
- sodipodi:role="line"
- x="391.29538"
- y="303.30817">a</tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text2841-4-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-7"
- sodipodi:role="line">2</tspan></text>
- </g>
- <rect
- style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999986;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- id="rect2923-0-9"
- width="198.84213"
- height="62.447308"
- x="222.06657"
- y="600.64917" />
- <text
- xml:space="preserve"
- style="font-size:36px;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="306.0903"
- y="639.66785"
- id="text2835-5-3-1"
- sodipodi:linespacing="100%"><tspan
- y="639.66785"
- x="306.0903"
- sodipodi:role="line"
- id="tspan2915-5-8">a</tspan></text>
- <text
- xml:space="preserve"
- 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="324.26846"
- y="640.09985"
- id="text2841-4-4-5"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2843-8-7-8"
- x="324.26846"
- y="640.09985"
- style="font-size:18px">3</tspan></text>
- <path
- id="path6941"
- d="m 108.07086,47.834639 c 579.3307,0 580.21233,0.0084 580.21233,0.0084"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943)"
- sodipodi:nodetypes="cc" />
- <text
- sodipodi:linespacing="100%"
- id="text6943"
- y="42.452583"
- x="102.79784"
- 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"><tspan
- y="42.452583"
- x="102.79784"
- id="tspan6945"
- sodipodi:role="line"
- style="font-size:16">Time</tspan></text>
- <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"
- x="454.51443"
- y="35.023102"
- id="text8977"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8979"
- x="454.51443"
- y="35.023102">start of a1</tspan></text>
- <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="419.24911"
- y="35.023102"
- id="text8981"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8983"
- x="419.24911"
- y="35.023102">end of a3</tspan></text>
- <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"
- x="474.31848"
- y="186.59866"
- id="text8985"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8987"
- x="474.31848"
- y="186.59866">wasGeneratedBy</tspan></text>
- <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"
- x="231.86945"
- y="448.44363"
- id="text8989"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8991"
- x="231.86945"
- y="448.44363">wasGeneratedBy</tspan></text>
- <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"
- x="523.68994"
- y="308.26401"
- id="text8993"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8995"
- x="523.68994"
- y="308.26401">used</tspan></text>
- <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"
- x="357.94296"
- y="572.75391"
- id="text8997"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan8999"
- x="357.94296"
- y="572.75391">used</tspan></text>
- </g>
-</svg>
--- a/model/prov-constraints.html Fri Jul 20 08:20:12 2012 +0100
+++ b/model/prov-constraints.html Fri Jul 20 08:21:25 2012 +0100
@@ -1129,7 +1129,7 @@
<div style="text-align: center;">
<figure>
-<img src="images/informedByNonTransitive.png" alt="non transitivity of wasInformedBy" />
+<img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy" />
<figcaption id="counterexample-wasInformedBy"><b>Figure 1:</b> Counter-example for transitivity of wasInformedBy</figcaption>
</figure>
</div>
@@ -2247,7 +2247,7 @@
<div style="text-align: center;">
<figure id="ordering-activity">
-<img src="images/ordering-activity.png" alt="constraints between events" />
+<img src="images/constraints/ordering-activity.png" alt="constraints between events" />
<figcaption id="ordering-activity-fig"><b>Figure 2:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for activities</figcaption>
</figure>
</div>
@@ -2418,7 +2418,7 @@
<div style="text-align: center;">
<figure id="ordering-entity">
-<img src="images/ordering-entity.png" alt="ordering constraints for entities" />
+<img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities" />
<figcaption id="ordering-entity-fig"><b>Figure 3:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for entities</figcaption></figure>
</div>
@@ -2607,7 +2607,7 @@
<div style="text-align: center;">
<figure id="#ordering-entity-trigger">
-<img src="images/ordering-entity-trigger.png" alt="ordering constraints for trigger entities" />
+<img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities" />
<figcaption id="ordering-entity-trigger-fig"><b>Figure 4:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for trigger entities</figcaption>
</figure>
</div>
@@ -2657,7 +2657,7 @@
<div style="text-align: center;">
<figure id="ordering-agents">
-<img src="images/ordering-agents.png" alt="ordering constraints for agents" />
+<img src="images/constraints/ordering-agents.png" alt="ordering constraints for agents" />
<figcaption><b>Figure 5:</b> Summary of <a
title="instantaneous event">instantaneous event</a> ordering
constraints for agents</figcaption>
