Spaces:
Sleeping
Sleeping
<pnml><net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel"><name><text>Petri net</text></name><page id="n0"><name><text/></name><place id="n1"><name><text>source 45</text></name><toolspecific tool="ProM" version="6.4" localNodeID="7f1c3aed-e921-4a3a-9797-2112565fa242"/><graphics><position x="6.25" y="104.0"/><dimension x="12.5" y="12.5"/></graphics><initialMarking><text>1</text></initialMarking></place><place id="n2"><name><text>sink 46</text></name><toolspecific tool="ProM" version="6.4" localNodeID="94d9aa60-cd82-434d-82c5-07743953a714"/><graphics><position x="521.25" y="106.0"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n3"><name><text>sink 47</text></name><toolspecific tool="ProM" version="6.4" localNodeID="997816f5-3ac6-4c17-8e6c-16b3a7b8ce7b"/><graphics><position x="93.75" y="105.5"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n4"><name><text>sink 48</text></name><toolspecific tool="ProM" version="6.4" localNodeID="90942689-ad63-4c71-a1d0-bc1920771a67"/><graphics><position x="433.75" y="99.0"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n5"><name><text>middle 49</text></name><toolspecific tool="ProM" version="6.4" localNodeID="bbd19f35-34b8-4e23-ba62-8f9afb21bd07"/><graphics><position x="346.25" y="97.5"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n6"><name><text>source 51</text></name><toolspecific tool="ProM" version="6.4" localNodeID="64cf7501-89ea-443a-92f5-d3dc93ec3d82"/><graphics><position x="171.25" y="74.0"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n7"><name><text>sink 52</text></name><toolspecific tool="ProM" version="6.4" localNodeID="4850069b-0ca0-41cf-b2f2-5862b9945595"/><graphics><position x="258.75" y="72.5"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n8"><name><text>source 53</text></name><toolspecific tool="ProM" version="6.4" localNodeID="b67026c4-4197-49e0-b856-6d52734ad11d"/><graphics><position x="171.25" y="103.0"/><dimension x="12.5" y="12.5"/></graphics></place><place id="n9"><name><text>sink 54</text></name><toolspecific tool="ProM" version="6.4" localNodeID="ff03aecf-90ce-4a8a-8822-2fccd87089bb"/><graphics><position x="258.75" y="101.0"/><dimension x="12.5" y="12.5"/></graphics></place><transition id="n10"><name><text>register request</text></name><toolspecific tool="ProM" version="6.4" activity="register request" localNodeID="dde3fb23-fa6f-49a6-95c5-bc1467fb703a"/><graphics><position x="50.0" y="104.0"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n11"><name><text>tau split</text></name><toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="7c9b84ac-99dd-4882-8268-ab486d39bae9"/><graphics><position x="132.5" y="93.5"/><dimension x="15.0" y="15.0"/></graphics></transition><transition id="n12"><name><text>check ticket</text></name><toolspecific tool="ProM" version="6.4" activity="check ticket" localNodeID="9f4b15d5-289c-48fa-9742-9733b023c6c0"/><graphics><position x="215.0" y="55.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n13"><name><text>examine casually</text></name><toolspecific tool="ProM" version="6.4" activity="examine casually" localNodeID="0304c586-86c2-4774-a658-d117bdecda7d"/><graphics><position x="215.0" y="125.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n14"><name><text>examine thoroughly</text></name><toolspecific tool="ProM" version="6.4" activity="examine thoroughly" localNodeID="20790ab5-4bff-41fe-8645-7622fd906f92"/><graphics><position x="215.0" y="90.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n15"><name><text>decide</text></name><toolspecific tool="ProM" version="6.4" activity="decide" localNodeID="132a0478-05bf-44c4-9f0b-0e5b4668f639"/><graphics><position x="302.5" y="89.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n16"><name><text>reinitiate request</text></name><toolspecific tool="ProM" version="6.4" activity="reinitiate request" localNodeID="4dd069e8-c3fa-4e67-80e2-c1eef8406b55"/><graphics><position x="390.0" y="118.0"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n17"><name><text>tau from tree</text></name><toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="a17a7057-7251-4438-97a0-165fb4fd9aa5"/><graphics><position x="390.0" y="85.5"/><dimension x="15.0" y="15.0"/></graphics></transition><transition id="n18"><name><text>pay compensation</text></name><toolspecific tool="ProM" version="6.4" activity="pay compensation" localNodeID="a2201610-11b2-4f34-89f2-bd5f3392973a"/><graphics><position x="477.5" y="123.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><transition id="n19"><name><text>reject request</text></name><toolspecific tool="ProM" version="6.4" activity="reject request" localNodeID="0aa4ad4f-9d70-430c-8320-81ca37d025f9"/><graphics><position x="477.5" y="88.5"/><dimension x="25.0" y="20.0"/><fill color="#FFFFFF"/></graphics></transition><arc id="arc20" source="n4" target="n18"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="3dc4b904-078b-4769-80e1-b89810115fde"/><arctype><text>normal</text></arctype></arc><arc id="arc21" source="n5" target="n17"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="a121df04-ce14-4804-be23-d1d5e3281a92"/><arctype><text>normal</text></arctype></arc><arc id="arc22" source="n14" target="n9"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="3fce0f41-166d-4e26-9b37-1dd650bcea14"/><arctype><text>normal</text></arctype></arc><arc id="arc23" source="n10" target="n3"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="fbd33c19-dc04-4d0e-a470-5f0ea7e9f996"/><arctype><text>normal</text></arctype></arc><arc id="arc24" source="n3" target="n11"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="dd5a746e-e633-4dc8-9950-da057017034d"/><arctype><text>normal</text></arctype></arc><arc id="arc25" source="n12" target="n7"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="c5243d17-eb7e-4b1a-8ce6-c85fb93b3a37"/><arctype><text>normal</text></arctype></arc><arc id="arc26" source="n4" target="n19"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="4cea1e7a-b252-41ce-93b6-181454b09e03"/><arctype><text>normal</text></arctype></arc><arc id="arc27" source="n5" target="n16"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="bdc9e783-1f8b-455f-a11b-884bdb13e707"/><arctype><text>normal</text></arctype></arc><arc id="arc28" source="n18" target="n2"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="694141cf-b409-49b7-9406-f0652432ba15"/><arctype><text>normal</text></arctype></arc><arc id="arc29" source="n13" target="n9"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="653e4e9b-30ad-44b2-8399-091c202e1674"/><arctype><text>normal</text></arctype></arc><arc id="arc30" source="n7" target="n15"><name><text>sink 52 -[1]-> decide</text></name><toolspecific tool="ProM" version="6.4" localNodeID="95984b7d-0831-4b59-ab8f-79cc3d48360e"/><arctype><text>normal</text></arctype></arc><arc id="arc31" source="n8" target="n13"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="2620baea-7989-4d79-9d6c-54b38ffa0520"/><arctype><text>normal</text></arctype></arc><arc id="arc32" source="n9" target="n15"><name><text>sink 54 -[1]-> decide</text></name><toolspecific tool="ProM" version="6.4" localNodeID="cfb74e01-016a-4f7b-b982-92fcced98722"/><arctype><text>normal</text></arctype></arc><arc id="arc33" source="n19" target="n2"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="380ae0e9-cd48-4106-8fd0-7d4a947a598c"/><arctype><text>normal</text></arctype></arc><arc id="arc34" source="n17" target="n4"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="6b7dde42-97bc-4f6e-ae37-96122a1d5d34"/><arctype><text>normal</text></arctype></arc><arc id="arc35" source="n8" target="n14"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="58185a68-3b36-4320-8472-b817fb57ab22"/><arctype><text>normal</text></arctype></arc><arc id="arc36" source="n15" target="n5"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="28e586e5-3ef5-4f55-a7f7-0a8de56384e3"/><arctype><text>normal</text></arctype></arc><arc id="arc37" source="n1" target="n10"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="337ce53b-406b-49d6-ad70-474094068a46"/><arctype><text>normal</text></arctype></arc><arc id="arc38" source="n6" target="n12"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="e3ed2ecc-bfe0-4fde-9149-569bd3669e24"/><arctype><text>normal</text></arctype></arc><arc id="arc39" source="n11" target="n8"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="d106b80d-1fac-433c-aea4-98d439b07183"/><arctype><text>normal</text></arctype></arc><arc id="arc40" source="n16" target="n3"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="0ea70c44-4f2c-47ee-abe2-cfd7b527eb19"/><graphics><position x="346.25" y="150.5"/><position x="302.5" y="150.5"/><position x="258.75" y="150.5"/><position x="215.0" y="150.5"/><position x="171.25" y="150.5"/><position x="132.5" y="150.5"/></graphics><arctype><text>normal</text></arctype></arc><arc id="arc41" source="n11" target="n6"><name><text>1</text></name><toolspecific tool="ProM" version="6.4" localNodeID="cc91847b-5005-424a-93e1-1b5aa2aeac0b"/><arctype><text>normal</text></arctype></arc></page><finalmarkings><marking><place idref="n1"><text>0</text></place><place idref="n2"><text>1</text></place><place idref="n3"><text>0</text></place><place idref="n4"><text>0</text></place><place idref="n5"><text>0</text></place><place idref="n6"><text>0</text></place><place idref="n7"><text>0</text></place><place idref="n8"><text>0</text></place><place idref="n9"><text>0</text></place></marking></finalmarkings></net></pnml> |