CoolFace
Apppublic

linpershey/process_mining

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes
data_petri_net.pnml643 linesDownload Raw Back to input_data
1<?xml version='1.0' encoding='UTF-8'?>2<pnml>3  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">4    <page id="n0">5      <place id="n3">6        <name>7          <text>sink 20</text>8        </name>9        <graphics>10          <position x="11.25" y="11.25"/>11          <dimension x="12.5" y="12.5"/>12        </graphics>13      </place>14      <place id="n2">15        <name>16          <text>sink 19</text>17        </name>18        <graphics>19          <position x="11.25" y="11.25"/>20          <dimension x="12.5" y="12.5"/>21        </graphics>22      </place>23      <place id="n5">24        <name>25          <text>sink 22</text>26        </name>27        <graphics>28          <position x="11.25" y="11.25"/>29          <dimension x="12.5" y="12.5"/>30        </graphics>31      </place>32      <place id="n8">33        <name>34          <text>sink 25</text>35        </name>36        <graphics>37          <position x="11.25" y="11.25"/>38          <dimension x="12.5" y="12.5"/>39        </graphics>40      </place>41      <place id="n10">42        <name>43          <text>sink 27</text>44        </name>45        <graphics>46          <position x="11.25" y="11.25"/>47          <dimension x="12.5" y="12.5"/>48        </graphics>49      </place>50      <place id="n12">51        <name>52          <text>sink 29</text>53        </name>54        <graphics>55          <position x="11.25" y="11.25"/>56          <dimension x="12.5" y="12.5"/>57        </graphics>58      </place>59      <place id="n17">60        <name>61          <text>sink 34</text>62        </name>63        <graphics>64          <position x="11.25" y="11.25"/>65          <dimension x="12.5" y="12.5"/>66        </graphics>67      </place>68      <place id="n1">69        <name>70          <text>source 18</text>71        </name>72        <initialMarking>73          <text>1</text>74        </initialMarking>75        <graphics>76          <position x="11.25" y="11.25"/>77          <dimension x="12.5" y="12.5"/>78        </graphics>79      </place>80      <place id="n4">81        <name>82          <text>sink 21</text>83        </name>84        <graphics>85          <position x="11.25" y="11.25"/>86          <dimension x="12.5" y="12.5"/>87        </graphics>88      </place>89      <place id="n6">90        <name>91          <text>source 23</text>92        </name>93        <graphics>94          <position x="11.25" y="11.25"/>95          <dimension x="12.5" y="12.5"/>96        </graphics>97      </place>98      <place id="n7">99        <name>100          <text>sink 24</text>101        </name>102        <graphics>103          <position x="11.25" y="11.25"/>104          <dimension x="12.5" y="12.5"/>105        </graphics>106      </place>107      <place id="n9">108        <name>109          <text>source 26</text>110        </name>111        <graphics>112          <position x="11.25" y="11.25"/>113          <dimension x="12.5" y="12.5"/>114        </graphics>115      </place>116      <place id="n11">117        <name>118          <text>source 28</text>119        </name>120        <graphics>121          <position x="11.25" y="11.25"/>122          <dimension x="12.5" y="12.5"/>123        </graphics>124      </place>125      <place id="n13">126        <name>127          <text>source 30</text>128        </name>129        <graphics>130          <position x="11.25" y="11.25"/>131          <dimension x="12.5" y="12.5"/>132        </graphics>133      </place>134      <place id="n14">135        <name>136          <text>sink 31</text>137        </name>138        <graphics>139          <position x="11.25" y="11.25"/>140          <dimension x="12.5" y="12.5"/>141        </graphics>142      </place>143      <place id="n15">144        <name>145          <text>sink 32</text>146        </name>147        <graphics>148          <position x="11.25" y="11.25"/>149          <dimension x="12.5" y="12.5"/>150        </graphics>151      </place>152      <place id="n16">153        <name>154          <text>sink 33</text>155        </name>156        <graphics>157          <position x="11.25" y="11.25"/>158          <dimension x="12.5" y="12.5"/>159        </graphics>160      </place>161      <transition id="n20" guard="(((((points&lt;=0.0)&amp;&amp;(amount&lt;=38.0))||((((points&lt;=0.0)&amp;&amp;(article&gt;43.0))&amp;&amp;(amount&gt;38.0))&amp;&amp;(amount&lt;=41.0)))||((points&lt;=0.0)&amp;&amp;(amount&gt;41.0)))||(points&gt;0.0))">162        <name>163          <text>n20</text>164        </name>165        <graphics>166          <position x="12.5" y="12.5"/>167          <dimension x="15.0" y="15.0"/>168        </graphics>169        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="18487788-6117-4c26-8b27-ec56f850fbdd"/>170      </transition>171      <transition id="n34" guard="(((((((((((points&lt;=0.0)&amp;&amp;(amount&lt;=19.95))||(((((points&lt;=0.0)&amp;&amp;(article&gt;7.0))&amp;&amp;(expense&lt;=6.71))&amp;&amp;(amount&gt;19.95))&amp;&amp;(amount&lt;=32.8)))||(((((points&lt;=0.0)&amp;&amp;(expense&gt;11.0))&amp;&amp;(expense&lt;=11.88))&amp;&amp;(amount&gt;19.95))&amp;&amp;(amount&lt;=32.8)))||((((points&lt;=0.0)&amp;&amp;(expense&gt;11.88))&amp;&amp;(amount&gt;19.95))&amp;&amp;(amount&lt;=24.0)))||(((((points&lt;=0.0)&amp;&amp;(expense&gt;13.25))&amp;&amp;(expense&lt;=13.5))&amp;&amp;(amount&gt;37.56))&amp;&amp;(amount&lt;=38.0)))||((((points&lt;=0.0)&amp;&amp;(expense&gt;13.5))&amp;&amp;(amount&gt;32.8))&amp;&amp;(amount&lt;=35.0)))||((((points&lt;=0.0)&amp;&amp;(expense&gt;13.5))&amp;&amp;(amount&gt;38.0))&amp;&amp;(amount&lt;=41.0)))||(((points&lt;=0.0)&amp;&amp;(amount&gt;41.0))&amp;&amp;(amount&lt;=70.0)))||((points&lt;=0.0)&amp;&amp;(amount&gt;84.0)))||(points&gt;0.0))">172        <name>173          <text>Add penalty</text>174        </name>175        <graphics>176          <position x="17.5" y="15.0"/>177          <dimension x="25.0" y="20.0"/>178        </graphics>179        <readVariable>amount</readVariable>180        <readVariable>expense</readVariable>181        <readVariable>article</readVariable>182        <readVariable>points</readVariable>183        <writeVariable>amount</writeVariable>184      </transition>185      <transition id="n24" guard="true">186        <name>187          <text>n24</text>188        </name>189        <graphics>190          <position x="12.5" y="12.5"/>191          <dimension x="15.0" y="15.0"/>192        </graphics>193        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="07405e46-9e83-4eb0-8ef4-2eea6aadb908"/>194      </transition>195      <transition id="n28" guard="true">196        <name>197          <text>n28</text>198        </name>199        <graphics>200          <position x="12.5" y="12.5"/>201          <dimension x="15.0" y="15.0"/>202        </graphics>203        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="ecdde86b-ec0e-4e24-8788-b1d31875afd2"/>204      </transition>205      <transition id="n23">206        <name>207          <text>Insert Date Appeal to Prefecture</text>208        </name>209        <graphics>210          <position x="17.5" y="15.0"/>211          <dimension x="25.0" y="20.0"/>212        </graphics>213      </transition>214      <transition id="n37" guard="((amount&lt;=39.35)||((totalPaymentAmount&gt;15.16)&amp;&amp;(amount&gt;39.35)))">215        <name>216          <text>n37</text>217        </name>218        <graphics>219          <position x="12.5" y="12.5"/>220          <dimension x="15.0" y="15.0"/>221        </graphics>222        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="a2c085f7-7312-445b-bb34-baac3dc3801f"/>223      </transition>224      <transition id="n38" guard="((totalPaymentAmount&lt;=15.16)&amp;&amp;(amount&gt;39.35))">225        <name>226          <text>Send for Credit Collection</text>227        </name>228        <graphics>229          <position x="17.5" y="15.0"/>230          <dimension x="25.0" y="20.0"/>231        </graphics>232        <readVariable>amount</readVariable>233        <readVariable>totalPaymentAmount</readVariable>234      </transition>235      <transition id="n19" guard="((((points&lt;=0.0)&amp;&amp;(article&lt;=43.0))&amp;&amp;(amount&gt;38.0))&amp;&amp;(amount&lt;=41.0))">236        <name>237          <text>n19</text>238        </name>239        <graphics>240          <position x="12.5" y="12.5"/>241          <dimension x="15.0" y="15.0"/>242        </graphics>243        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="1d2f5161-0cd9-4444-b69c-696bf3ca0602"/>244      </transition>245      <transition id="n25" guard="true">246        <name>247          <text>Notify Result Appeal to Offender</text>248        </name>249        <graphics>250          <position x="17.5" y="15.0"/>251          <dimension x="25.0" y="20.0"/>252        </graphics>253      </transition>254      <transition id="n22">255        <name>256          <text>n22</text>257        </name>258        <graphics>259          <position x="12.5" y="12.5"/>260          <dimension x="15.0" y="15.0"/>261        </graphics>262        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="bd31b834-a644-489a-9c66-759b6c378aa7"/>263      </transition>264      <transition id="n27">265        <name>266          <text>Receive Result Appeal from Prefecture</text>267        </name>268        <graphics>269          <position x="17.5" y="15.0"/>270          <dimension x="25.0" y="20.0"/>271        </graphics>272      </transition>273      <transition id="n29" guard="true">274        <name>275          <text>Appeal to Judge</text>276        </name>277        <graphics>278          <position x="17.5" y="15.0"/>279          <dimension x="25.0" y="20.0"/>280        </graphics>281      </transition>282      <transition id="n36" guard="(amount&lt;=39.35)">283        <name>284          <text>Payment</text>285        </name>286        <graphics>287          <position x="17.5" y="15.0"/>288          <dimension x="25.0" y="20.0"/>289        </graphics>290        <readVariable>amount</readVariable>291        <writeVariable>totalPaymentAmount</writeVariable>292      </transition>293      <transition id="n18">294        <name>295          <text>Create Fine</text>296        </name>297        <graphics>298          <position x="17.5" y="15.0"/>299          <dimension x="25.0" y="20.0"/>300        </graphics>301        <writeVariable>amount</writeVariable>302        <writeVariable>totalPaymentAmount</writeVariable>303        <writeVariable>article</writeVariable>304        <writeVariable>points</writeVariable>305      </transition>306      <transition id="n26">307        <name>308          <text>Send Appeal to Prefecture</text>309        </name>310        <graphics>311          <position x="17.5" y="15.0"/>312          <dimension x="25.0" y="20.0"/>313        </graphics>314      </transition>315      <transition id="n31" guard="((((expense&gt;6.71)&amp;&amp;(expense&lt;=11.0))&amp;&amp;(amount&gt;25.0))&amp;&amp;(amount&lt;=32.8))">316        <name>317          <text>n31</text>318        </name>319        <graphics>320          <position x="12.5" y="12.5"/>321          <dimension x="15.0" y="15.0"/>322        </graphics>323        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="34f5ec26-9ec0-402b-bd4a-47902981d7ef"/>324      </transition>325      <transition id="n21" guard="true">326        <name>327          <text>n21</text>328        </name>329        <graphics>330          <position x="12.5" y="12.5"/>331          <dimension x="15.0" y="15.0"/>332        </graphics>333        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="48696670-f335-43d6-a212-38be0a8ce5d8"/>334      </transition>335      <transition id="n35" guard="(amount&gt;39.35)">336        <name>337          <text>n35</text>338        </name>339        <graphics>340          <position x="12.5" y="12.5"/>341          <dimension x="15.0" y="15.0"/>342        </graphics>343        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="d37fbb32-1940-4c77-ac82-83a8d639ac8e"/>344      </transition>345      <transition id="n30">346        <name>347          <text>Send Fine</text>348        </name>349        <graphics>350          <position x="17.5" y="15.0"/>351          <dimension x="25.0" y="20.0"/>352        </graphics>353        <writeVariable>expense</writeVariable>354      </transition>355      <transition id="n32" guard="((((expense&lt;=6.71)||(((expense&gt;6.71)&amp;&amp;(expense&lt;=11.0))&amp;&amp;(amount&lt;=25.0)))||(((expense&gt;6.71)&amp;&amp;(expense&lt;=11.0))&amp;&amp;(amount&gt;32.8)))||(expense&gt;11.0))">356        <name>357          <text>Insert Fine Notification</text>358        </name>359        <graphics>360          <position x="17.5" y="15.0"/>361          <dimension x="25.0" y="20.0"/>362        </graphics>363        <readVariable>amount</readVariable>364        <readVariable>expense</readVariable>365      </transition>366      <transition id="n33" guard="((((((((((((points&lt;=0.0)&amp;&amp;(article&lt;=7.0))&amp;&amp;(expense&lt;=6.71))&amp;&amp;(amount&gt;19.95))&amp;&amp;(amount&lt;=32.8))||(((((points&lt;=0.0)&amp;&amp;(expense&gt;6.71))&amp;&amp;(expense&lt;=11.0))&amp;&amp;(amount&gt;19.95))&amp;&amp;(amount&lt;=32.8)))||((((points&lt;=0.0)&amp;&amp;(expense&gt;11.88))&amp;&amp;(amount&gt;24.0))&amp;&amp;(amount&lt;=32.8)))||((((points&lt;=0.0)&amp;&amp;(expense&lt;=13.25))&amp;&amp;(amount&gt;32.8))&amp;&amp;(amount&lt;=38.0)))||(((((points&lt;=0.0)&amp;&amp;(expense&gt;13.25))&amp;&amp;(expense&lt;=13.5))&amp;&amp;(amount&gt;32.8))&amp;&amp;(amount&lt;=37.56)))||((((points&lt;=0.0)&amp;&amp;(expense&lt;=13.5))&amp;&amp;(amount&gt;38.0))&amp;&amp;(amount&lt;=41.0)))||((((points&lt;=0.0)&amp;&amp;(expense&gt;13.5))&amp;&amp;(amount&gt;35.0))&amp;&amp;(amount&lt;=38.0)))||(((points&lt;=0.0)&amp;&amp;(amount&gt;70.0))&amp;&amp;(amount&lt;=84.0)))">367        <name>368          <text>n33</text>369        </name>370        <graphics>371          <position x="12.5" y="12.5"/>372          <dimension x="15.0" y="15.0"/>373        </graphics>374        <toolspecific tool="ProM" version="6.4" activity="$invisible$" localNodeID="06f71fb2-c16f-4530-987b-e538116c6d5b"/>375      </transition>376      <arc id="1682361139456" source="n9" target="n26">377        <arctype>378          <text>normal</text>379        </arctype>380      </arc>381      <arc id="1682361768832" source="n21" target="n11">382        <arctype>383          <text>normal</text>384        </arctype>385      </arc>386      <arc id="1682361768064" source="n3" target="n19">387        <arctype>388          <text>normal</text>389        </arctype>390      </arc>391      <arc id="1682361768448" source="n5" target="n30">392        <arctype>393          <text>normal</text>394        </arctype>395      </arc>396      <arc id="1682361767680" source="n37" target="n2">397        <arctype>398          <text>normal</text>399        </arctype>400      </arc>401      <arc id="1682361767296" source="n38" target="n2">402        <arctype>403          <text>normal</text>404        </arctype>405      </arc>406      <arc id="1682361766912" source="n10" target="n22">407        <arctype>408          <text>normal</text>409        </arctype>410      </arc>411      <arc id="1682361766528" source="n3" target="n20">412        <arctype>413          <text>normal</text>414        </arctype>415      </arc>416      <arc id="1682361766144" source="n34" target="n16">417        <arctype>418          <text>normal</text>419        </arctype>420      </arc>421      <arc id="1682361769600" source="n11" target="n27">422        <arctype>423          <text>normal</text>424        </arctype>425      </arc>426      <arc id="1682361769360" source="n16" target="n36">427        <arctype>428          <text>normal</text>429        </arctype>430      </arc>431      <arc id="1682361923040" source="n12" target="n22">432        <arctype>433          <text>normal</text>434        </arctype>435      </arc>436      <arc id="1682361923424" source="n27" target="n12">437        <arctype>438          <text>normal</text>439        </arctype>440      </arc>441      <arc id="1682361769120" source="n22" target="n5">442        <arctype>443          <text>normal</text>444        </arctype>445      </arc>446      <arc id="1682361768736" source="n21" target="n9">447        <arctype>448          <text>normal</text>449        </arctype>450      </arc>451      <arc id="1682361767968" source="n23" target="n8">452        <arctype>453          <text>normal</text>454        </arctype>455      </arc>456      <arc id="1682361768352" source="n8" target="n24">457        <arctype>458          <text>normal</text>459        </arctype>460      </arc>461      <arc id="1682361767584" source="n31" target="n4">462        <arctype>463          <text>normal</text>464        </arctype>465      </arc>466      <arc id="1682361767200" source="n15" target="n31">467        <arctype>468          <text>normal</text>469        </arctype>470      </arc>471      <arc id="1682361766816" source="n25" target="n7">472        <arctype>473          <text>normal</text>474        </arctype>475      </arc>476      <arc id="1682361766432" source="n21" target="n6">477        <arctype>478          <text>normal</text>479        </arctype>480      </arc>481      <arc id="1682361766048" source="n32" target="n4">482        <arctype>483          <text>normal</text>484        </arctype>485      </arc>486      <arc id="1682361769888" source="n18" target="n3">487        <arctype>488          <text>normal</text>489        </arctype>490      </arc>491      <arc id="1682361769264" source="n4" target="n34">492        <arctype>493          <text>normal</text>494        </arctype>495      </arc>496      <arc id="1682361769792" source="n35" target="n17">497        <arctype>498          <text>normal</text>499        </arctype>500      </arc>501      <arc id="1682361769024" source="n33" target="n16">502        <arctype>503          <text>normal</text>504        </arctype>505      </arc>506      <arc id="1682361768640" source="n36" target="n17">507        <arctype>508          <text>normal</text>509        </arctype>510      </arc>511      <arc id="1682361768256" source="n30" target="n15">512        <arctype>513          <text>normal</text>514        </arctype>515      </arc>516      <arc id="1682361767872" source="n24" target="n7">517        <arctype>518          <text>normal</text>519        </arctype>520      </arc>521      <arc id="1682361767488" source="n14" target="n22">522        <arctype>523          <text>normal</text>524        </arctype>525      </arc>526      <arc id="1682361767104" source="n1" target="n18">527        <arctype>528          <text>normal</text>529        </arctype>530      </arc>531      <arc id="1682361766720" source="n4" target="n33">532        <arctype>533          <text>normal</text>534        </arctype>535      </arc>536      <arc id="1682361766336" source="n21" target="n13">537        <arctype>538          <text>normal</text>539        </arctype>540      </arc>541      <arc id="1682361765952" source="n19" target="n4">542        <arctype>543          <text>normal</text>544        </arctype>545      </arc>546      <arc id="1682361769408" source="n15" target="n32">547        <arctype>548          <text>normal</text>549        </arctype>550      </arc>551      <arc id="1682361769696" source="n13" target="n29">552        <arctype>553          <text>normal</text>554        </arctype>555      </arc>556      <arc id="1682361139552" source="n6" target="n23">557        <arctype>558          <text>normal</text>559        </arctype>560      </arc>561      <arc id="1682361141088" source="n16" target="n35">562        <arctype>563          <text>normal</text>564        </arctype>565      </arc>566      <arc id="1682361768928" source="n26" target="n10">567        <arctype>568          <text>normal</text>569        </arctype>570      </arc>571      <arc id="1682361768544" source="n17" target="n38">572        <arctype>573          <text>normal</text>574        </arctype>575      </arc>576      <arc id="1682361768160" source="n28" target="n14">577        <arctype>578          <text>normal</text>579        </arctype>580      </arc>581      <arc id="1682361767776" source="n3" target="n21">582        <arctype>583          <text>normal</text>584        </arctype>585      </arc>586      <arc id="1682361767392" source="n8" target="n25">587        <arctype>588          <text>normal</text>589        </arctype>590      </arc>591      <arc id="1682361767008" source="n7" target="n22">592        <arctype>593          <text>normal</text>594        </arctype>595      </arc>596      <arc id="1682361766624" source="n17" target="n37">597        <arctype>598          <text>normal</text>599        </arctype>600      </arc>601      <arc id="1682361766240" source="n20" target="n5">602        <arctype>603          <text>normal</text>604        </arctype>605      </arc>606      <arc id="1682361923136" source="n29" target="n14">607        <arctype>608          <text>normal</text>609        </arctype>610      </arc>611      <arc id="1682361923520" source="n13" target="n28">612        <arctype>613          <text>normal</text>614        </arctype>615      </arc>616    </page>617    <finalmarkings>618      <marking>619        <place idref="n2">620          <text>1</text>621        </place>622      </marking>623    </finalmarkings>624    <variables>625      <variable type="java.lang.Double">626        <name>amount</name>627      </variable>628      <variable type="java.lang.Double">629        <name>totalPaymentAmount</name>630      </variable>631      <variable type="java.lang.Double">632        <name>expense</name>633      </variable>634      <variable type="java.lang.Long">635        <name>article</name>636      </variable>637      <variable type="java.lang.Long">638        <name>points</name>639      </variable>640    </variables>641  </net>642</pnml>643