<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN"
 "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd" [
 <!ATTLIST svg xmlns:xlink CDATA #FIXED "http://www.w3.org/1999/xlink">
]>
<!-- Generated by Graphviz version 2.21.0 (Wed Aug &#160;6 18:38:10 UTC 2008)
     For user: (yifanhu) Yifan Hu -->
<!-- Title: PhiloDilemma Pages: 1 -->
<svg width="500pt" height="537pt"
 viewBox="0.00 0.00 500.00 537.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 533)">
<title>PhiloDilemma</title>
<polygon style="fill:white;stroke:white;" points="-4,4 -4,-533 496,-533 496,4 -4,4"/>
<text text-anchor="middle" x="246" y="-21.2" style="font-family:Times New Roman;font-size:12.00;">PetriNet Model PhiloDilemma</text>
<text text-anchor="middle" x="246" y="-7.2" style="font-family:Times New Roman;font-size:12.00;">Extracted from ConceptBase and layed out by Graphviz </text>
<!-- bec3 -->
<g id="node1" class="node"><title>bec3</title>
<polygon style="fill:none;stroke:black;" points="323,-73 269,-73 269,-37 323,-37 323,-73"/>
<text text-anchor="middle" x="296" y="-50.4" style="font-family:Times New Roman;font-size:14.00;">bec3</text>
</g>
<!-- hu3 -->
<g id="node10" class="node"><title>hu3</title>
<ellipse style="fill:none;stroke:black;" cx="238" cy="-120" rx="32" ry="32.5"/>
<text text-anchor="middle" x="238" y="-115.4" style="font-family:Times New Roman;font-size:14.00;">hu3</text>
</g>
<!-- bec3&#45;&gt;hu3 -->
<g id="edge8" class="edge"><title>bec3&#45;&gt;hu3</title>
<path style="fill:none;stroke:black;" d="M280,-73C276,-78 271,-83 266,-88"/>
<polygon style="fill:black;stroke:black;" points="263.2,-85.9 260,-96 268.8,-90.1 263.2,-85.9"/>
</g>
<!-- rel3 -->
<g id="node2" class="node"><title>rel3</title>
<polygon style="fill:none;stroke:black;" points="409,-187 355,-187 355,-151 409,-151 409,-187"/>
<text text-anchor="middle" x="382" y="-164.4" style="font-family:Times New Roman;font-size:14.00;">rel3</text>
</g>
<!-- th3 -->
<g id="node11" class="node"><title>th3</title>
<ellipse style="fill:none;stroke:black;" cx="379" cy="-84" rx="32" ry="32.5"/>
<text text-anchor="middle" x="379" y="-79.4" style="font-family:Times New Roman;font-size:14.00;">th3</text>
</g>
<!-- rel3&#45;&gt;th3 -->
<g id="edge12" class="edge"><title>rel3&#45;&gt;th3</title>
<path style="fill:none;stroke:black;" d="M381,-151C381,-144 381,-135 380,-127"/>
<polygon style="fill:black;stroke:black;" points="383.5,-127 380,-117 376.5,-127 383.5,-127"/>
</g>
<!-- ri3 -->
<g id="node12" class="node"><title>ri3</title>
<ellipse style="fill:none;stroke:black;" cx="340" cy="-243" rx="32" ry="32.5"/>
<text text-anchor="middle" x="340" y="-238.4" style="font-family:Times New Roman;font-size:14.00;">ri3</text>
</g>
<!-- rel3&#45;&gt;ri3 -->
<g id="edge14" class="edge"><title>rel3&#45;&gt;ri3</title>
<path style="fill:none;stroke:black;" d="M372,-187C368,-193 364,-199 361,-206"/>
<polygon style="fill:black;stroke:black;" points="357.797,-204.559 356,-215 363.916,-207.958 357.797,-204.559"/>
</g>
<!-- bec2 -->
<g id="node3" class="node"><title>bec2</title>
<polygon style="fill:none;stroke:black;" points="491,-457 437,-457 437,-421 491,-421 491,-457"/>
<text text-anchor="middle" x="464" y="-434.4" style="font-family:Times New Roman;font-size:14.00;">bec2</text>
</g>
<!-- hu2 -->
<g id="node14" class="node"><title>hu2</title>
<ellipse style="fill:none;stroke:black;" cx="438" cy="-356" rx="32" ry="32.5"/>
<text text-anchor="middle" x="438" y="-351.4" style="font-family:Times New Roman;font-size:14.00;">hu2</text>
</g>
<!-- bec2&#45;&gt;hu2 -->
<g id="edge26" class="edge"><title>bec2&#45;&gt;hu2</title>
<path style="fill:none;stroke:black;" d="M458,-421C456,-414 453,-405 451,-397"/>
<polygon style="fill:black;stroke:black;" points="454.226,-395.573 448,-387 447.521,-397.584 454.226,-395.573"/>
</g>
<!-- rel2 -->
<g id="node4" class="node"><title>rel2</title>
<polygon style="fill:none;stroke:black;" points="350,-473 296,-473 296,-437 350,-437 350,-473"/>
<text text-anchor="middle" x="323" y="-450.4" style="font-family:Times New Roman;font-size:14.00;">rel2</text>
</g>
<!-- th2 -->
<g id="node15" class="node"><title>th2</title>
<ellipse style="fill:none;stroke:black;" cx="397" cy="-496" rx="32" ry="32.5"/>
<text text-anchor="middle" x="397" y="-491.4" style="font-family:Times New Roman;font-size:14.00;">th2</text>
</g>
<!-- rel2&#45;&gt;th2 -->
<g id="edge30" class="edge"><title>rel2&#45;&gt;th2</title>
<path style="fill:none;stroke:black;" d="M350,-470C353,-472 357,-474 360,-476"/>
<polygon style="fill:black;stroke:black;" points="358.559,-479.203 369,-481 361.958,-473.084 358.559,-479.203"/>
</g>
<!-- ri2 -->
<g id="node16" class="node"><title>ri2</title>
<ellipse style="fill:none;stroke:black;" cx="281" cy="-381" rx="32" ry="32.5"/>
<text text-anchor="middle" x="281" y="-376.4" style="font-family:Times New Roman;font-size:14.00;">ri2</text>
</g>
<!-- rel2&#45;&gt;ri2 -->
<g id="edge32" class="edge"><title>rel2&#45;&gt;ri2</title>
<path style="fill:none;stroke:black;" d="M313,-437C309,-431 305,-425 302,-418"/>
<polygon style="fill:black;stroke:black;" points="304.916,-416.042 297,-409 298.797,-419.441 304.916,-416.042"/>
</g>
<!-- acq2 -->
<g id="node5" class="node"><title>acq2</title>
<polygon style="fill:none;stroke:black;" points="381,-344 327,-344 327,-308 381,-308 381,-344"/>
<text text-anchor="middle" x="354" y="-321.4" style="font-family:Times New Roman;font-size:14.00;">acq2</text>
</g>
<!-- ea2 -->
<g id="node17" class="node"><title>ea2</title>
<ellipse style="fill:none;stroke:black;" cx="372" cy="-396" rx="32" ry="32.5"/>
<text text-anchor="middle" x="372" y="-391.4" style="font-family:Times New Roman;font-size:14.00;">ea2</text>
</g>
<!-- acq2&#45;&gt;ea2 -->
<g id="edge36" class="edge"><title>acq2&#45;&gt;ea2</title>
<path style="fill:none;stroke:black;" d="M359,-344C360,-347 360,-351 361,-354"/>
<polygon style="fill:black;stroke:black;" points="357.774,-355.427 364,-364 364.479,-353.416 357.774,-355.427"/>
</g>
<!-- acq3 -->
<g id="node6" class="node"><title>acq3</title>
<polygon style="fill:none;stroke:black;" points="276,-231 222,-231 222,-195 276,-195 276,-231"/>
<text text-anchor="middle" x="249" y="-208.4" style="font-family:Times New Roman;font-size:14.00;">acq3</text>
</g>
<!-- ea3 -->
<g id="node13" class="node"><title>ea3</title>
<ellipse style="fill:none;stroke:black;" cx="309" cy="-153" rx="32" ry="32.5"/>
<text text-anchor="middle" x="309" y="-148.4" style="font-family:Times New Roman;font-size:14.00;">ea3</text>
</g>
<!-- acq3&#45;&gt;ea3 -->
<g id="edge18" class="edge"><title>acq3&#45;&gt;ea3</title>
<path style="fill:none;stroke:black;" d="M267,-195C271,-191 275,-187 279,-183"/>
<polygon style="fill:black;stroke:black;" points="281.404,-185.546 286,-176 276.454,-180.596 281.404,-185.546"/>
</g>
<!-- bec1 -->
<g id="node7" class="node"><title>bec1</title>
<polygon style="fill:none;stroke:black;" points="75,-407 21,-407 21,-371 75,-371 75,-407"/>
<text text-anchor="middle" x="48" y="-384.4" style="font-family:Times New Roman;font-size:14.00;">bec1</text>
</g>
<!-- hu1 -->
<g id="node18" class="node"><title>hu1</title>
<ellipse style="fill:none;stroke:black;" cx="133" cy="-410" rx="32" ry="32.5"/>
<text text-anchor="middle" x="133" y="-405.4" style="font-family:Times New Roman;font-size:14.00;">hu1</text>
</g>
<!-- bec1&#45;&gt;hu1 -->
<g id="edge44" class="edge"><title>bec1&#45;&gt;hu1</title>
<path style="fill:none;stroke:black;" d="M75,-396C80,-397 86,-399 92,-400"/>
<polygon style="fill:black;stroke:black;" points="91.5078,-403.471 102,-402 92.8806,-396.607 91.5078,-403.471"/>
</g>
<!-- rel1 -->
<g id="node8" class="node"><title>rel1</title>
<polygon style="fill:none;stroke:black;" points="133,-279 79,-279 79,-243 133,-243 133,-279"/>
<text text-anchor="middle" x="106" y="-256.4" style="font-family:Times New Roman;font-size:14.00;">rel1</text>
</g>
<!-- th1 -->
<g id="node19" class="node"><title>th1</title>
<ellipse style="fill:none;stroke:black;" cx="33" cy="-303" rx="32" ry="32.5"/>
<text text-anchor="middle" x="33" y="-298.4" style="font-family:Times New Roman;font-size:14.00;">th1</text>
</g>
<!-- rel1&#45;&gt;th1 -->
<g id="edge48" class="edge"><title>rel1&#45;&gt;th1</title>
<path style="fill:none;stroke:black;" d="M79,-277C76,-279 73,-280 70,-282"/>
<polygon style="fill:black;stroke:black;" points="68.0418,-279.084 61,-287 71.4414,-285.203 68.0418,-279.084"/>
</g>
<!-- ri1 -->
<g id="node20" class="node"><title>ri1</title>
<ellipse style="fill:none;stroke:black;" cx="191" cy="-262" rx="32" ry="32.5"/>
<text text-anchor="middle" x="191" y="-257.4" style="font-family:Times New Roman;font-size:14.00;">ri1</text>
</g>
<!-- rel1&#45;&gt;ri1 -->
<g id="edge50" class="edge"><title>rel1&#45;&gt;ri1</title>
<path style="fill:none;stroke:black;" d="M133,-261C138,-261 143,-261 149,-262"/>
<polygon style="fill:black;stroke:black;" points="149,-265.5 159,-262 149,-258.5 149,-265.5"/>
</g>
<!-- acq1 -->
<g id="node9" class="node"><title>acq1</title>
<polygon style="fill:none;stroke:black;" points="229,-371 175,-371 175,-335 229,-335 229,-371"/>
<text text-anchor="middle" x="202" y="-348.4" style="font-family:Times New Roman;font-size:14.00;">acq1</text>
</g>
<!-- ea1 -->
<g id="node21" class="node"><title>ea1</title>
<ellipse style="fill:none;stroke:black;" cx="132" cy="-333" rx="32" ry="32.5"/>
<text text-anchor="middle" x="132" y="-328.4" style="font-family:Times New Roman;font-size:14.00;">ea1</text>
</g>
<!-- acq1&#45;&gt;ea1 -->
<g id="edge54" class="edge"><title>acq1&#45;&gt;ea1</title>
<path style="fill:none;stroke:black;" d="M175,-345C174,-345 174,-345 173,-344"/>
<polygon style="fill:black;stroke:black;" points="173.492,-340.529 163,-342 172.119,-347.393 173.492,-340.529"/>
</g>
<!-- hu3&#45;&gt;acq3 -->
<g id="edge6" class="edge"><title>hu3&#45;&gt;acq3</title>
<path style="fill:none;stroke:black;" d="M242,-153C243,-163 244,-175 246,-185"/>
<polygon style="fill:black;stroke:black;" points="242.522,-185.398 247,-195 249.488,-184.701 242.522,-185.398"/>
</g>
<!-- th3&#45;&gt;bec3 -->
<g id="edge10" class="edge"><title>th3&#45;&gt;bec3</title>
<path style="fill:none;stroke:black;" d="M349,-73C344,-71 338,-69 333,-68"/>
<polygon style="fill:black;stroke:black;" points="333.585,-64.4643 323,-64 330.985,-70.9636 333.585,-64.4643"/>
</g>
<!-- ri3&#45;&gt;acq2 -->
<g id="edge2" class="edge"><title>ri3&#45;&gt;acq2</title>
<path style="fill:none;stroke:black;" d="M345,-275C346,-283 348,-291 349,-298"/>
<polygon style="fill:black;stroke:black;" points="345.607,-298.881 351,-308 352.471,-297.508 345.607,-298.881"/>
</g>
<!-- ri3&#45;&gt;acq3 -->
<g id="edge4" class="edge"><title>ri3&#45;&gt;acq3</title>
<path style="fill:none;stroke:black;" d="M309,-233C301,-230 294,-227 286,-225"/>
<polygon style="fill:black;stroke:black;" points="286.584,-221.521 276,-222 284.573,-228.226 286.584,-221.521"/>
</g>
<!-- ea3&#45;&gt;rel3 -->
<g id="edge16" class="edge"><title>ea3&#45;&gt;rel3</title>
<path style="fill:none;stroke:black;" d="M340,-160C342,-160 343,-161 345,-161"/>
<polygon style="fill:black;stroke:black;" points="344.508,-164.471 355,-163 345.881,-157.607 344.508,-164.471"/>
</g>
<!-- hu2&#45;&gt;acq2 -->
<g id="edge24" class="edge"><title>hu2&#45;&gt;acq2</title>
<path style="fill:none;stroke:black;" d="M408,-345C402,-343 396,-341 391,-339"/>
<polygon style="fill:black;stroke:black;" points="391.584,-335.521 381,-336 389.573,-342.226 391.584,-335.521"/>
</g>
<!-- th2&#45;&gt;bec2 -->
<g id="edge28" class="edge"><title>th2&#45;&gt;bec2</title>
<path style="fill:none;stroke:black;" d="M422,-475C426,-471 431,-468 435,-464"/>
<polygon style="fill:black;stroke:black;" points="437.779,-466.219 443,-457 433.169,-460.951 437.779,-466.219"/>
</g>
<!-- ri2&#45;&gt;acq2 -->
<g id="edge22" class="edge"><title>ri2&#45;&gt;acq2</title>
<path style="fill:none;stroke:black;" d="M307,-361C312,-358 317,-354 322,-350"/>
<polygon style="fill:black;stroke:black;" points="324.1,-352.8 330,-344 319.9,-347.2 324.1,-352.8"/>
</g>
<!-- ri2&#45;&gt;acq1 -->
<g id="edge20" class="edge"><title>ri2&#45;&gt;acq1</title>
<path style="fill:none;stroke:black;" d="M251,-370C247,-368 243,-367 239,-366"/>
<polygon style="fill:black;stroke:black;" points="239.585,-362.464 229,-362 236.985,-368.964 239.585,-362.464"/>
</g>
<!-- ea2&#45;&gt;rel2 -->
<g id="edge34" class="edge"><title>ea2&#45;&gt;rel2</title>
<path style="fill:none;stroke:black;" d="M351,-421C349,-424 347,-426 345,-429"/>
<polygon style="fill:black;stroke:black;" points="341.951,-427.169 338,-437 347.219,-431.779 341.951,-427.169"/>
</g>
<!-- hu1&#45;&gt;acq1 -->
<g id="edge42" class="edge"><title>hu1&#45;&gt;acq1</title>
<path style="fill:none;stroke:black;" d="M158,-389C162,-385 167,-381 172,-377"/>
<polygon style="fill:black;stroke:black;" points="174.1,-379.8 180,-371 169.9,-374.2 174.1,-379.8"/>
</g>
<!-- th1&#45;&gt;bec1 -->
<g id="edge46" class="edge"><title>th1&#45;&gt;bec1</title>
<path style="fill:none;stroke:black;" d="M39,-335C40,-343 42,-353 43,-361"/>
<polygon style="fill:black;stroke:black;" points="39.6067,-361.881 45,-371 46.4708,-360.508 39.6067,-361.881"/>
</g>
<!-- ri1&#45;&gt;acq3 -->
<g id="edge38" class="edge"><title>ri1&#45;&gt;acq3</title>
<path style="fill:none;stroke:black;" d="M216,-241C217,-240 219,-239 220,-238"/>
<polygon style="fill:black;stroke:black;" points="222.779,-240.219 228,-231 218.169,-234.951 222.779,-240.219"/>
</g>
<!-- ri1&#45;&gt;acq1 -->
<g id="edge40" class="edge"><title>ri1&#45;&gt;acq1</title>
<path style="fill:none;stroke:black;" d="M195,-294C196,-304 197,-315 199,-325"/>
<polygon style="fill:black;stroke:black;" points="195.522,-325.398 200,-335 202.488,-324.701 195.522,-325.398"/>
</g>
<!-- ea1&#45;&gt;rel1 -->
<g id="edge52" class="edge"><title>ea1&#45;&gt;rel1</title>
<path style="fill:none;stroke:black;" d="M121,-302C119,-298 118,-293 116,-289"/>
<polygon style="fill:black;stroke:black;" points="119.226,-287.573 113,-279 112.521,-289.584 119.226,-287.573"/>
</g>
</g>
</svg>

