<?xml version="1.0" encoding="utf-8" ?>
<casetype id="{009-145-201}" name="">
<places>
<place id="A" index="0" token="1" />
<place id="B" index="1" token="0" />
<place id="C" index="2" token="0" />
<place id="D" index="3" token="0" />
<place id="E" index="4" token="0" />
<place id="F" index="5" token="0" />
</places>
<transitions>
<process id="a" type="review" resource="directors" assignment="">
<edges>
<edge place="A" type="input" route="1" />
<edge place="B" type="output" route="OK" />
<edge place="C" type="output" route="!OK" />
</edges>
</process>
<process id="b" type="review" resource="leaders" assignment="">
<edges>
<edge place="B" type="input" route="1" />
<edge place="D" type="output" route="OK" />
<edge place="C" type="output" route="!OK" />
</edges>
</process>
<process id="c" type="assign" resource="purchases" assignment="">
<edges>
<edge place="D" type="input" route="1" />
<edge place="E" type="output" route="1" />
</edges>
</process>
<process id="d" type="automatic" method="full type name">
<edges>
<edge place="E" type="input" route="1" />
<edge place="F" type="output" route="1" />
</edges>
</process>
<process id="e" type="assign" resource="submitter" assignment="">
<edges>
<edge place="C" type="input" route="1" />
<edge place="A" type="output" route="OK" />
<edge place="F" type="output" route="!OK" />
</edges>
</process>
</transitions>
<attributes>
<attribute id="OK" type="boolean" value="false" />
</attributes>
</casetype>
<casetype id="{009-145-201}" name="">
<places>
<place id="A" index="0" token="1" />
<place id="B" index="1" token="0" />
<place id="C" index="2" token="0" />
<place id="D" index="3" token="0" />
<place id="E" index="4" token="0" />
<place id="F" index="5" token="0" />
</places>
<transitions>
<process id="a" type="review" resource="directors" assignment="">
<edges>
<edge place="A" type="input" route="1" />
<edge place="B" type="output" route="OK" />
<edge place="C" type="output" route="!OK" />
</edges>
</process>
<process id="b" type="review" resource="leaders" assignment="">
<edges>
<edge place="B" type="input" route="1" />
<edge place="D" type="output" route="OK" />
<edge place="C" type="output" route="!OK" />
</edges>
</process>
<process id="c" type="assign" resource="purchases" assignment="">
<edges>
<edge place="D" type="input" route="1" />
<edge place="E" type="output" route="1" />
</edges>
</process>
<process id="d" type="automatic" method="full type name">
<edges>
<edge place="E" type="input" route="1" />
<edge place="F" type="output" route="1" />
</edges>
</process>
<process id="e" type="assign" resource="submitter" assignment="">
<edges>
<edge place="C" type="input" route="1" />
<edge place="A" type="output" route="OK" />
<edge place="F" type="output" route="!OK" />
</edges>
</process>
</transitions>
<attributes>
<attribute id="OK" type="boolean" value="false" />
</attributes>
</casetype>