UniTO/anno3/vpc/consegne/2.b/ReteE.PNPRO

173 lines
14 KiB
Text
Raw Permalink Normal View History

2020-05-03 18:13:53 +02:00
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="ReteE" version="121">
2020-05-05 15:06:01 +02:00
<gspn name="CPN" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
2020-05-03 18:13:53 +02:00
<nodes>
2020-05-05 15:06:01 +02:00
<place label-y="-2.0" marking="Sn" name="S0" x="59.0" y="14.0"/>
<place label-y="-2.0" marking="Rn" name="R0" x="80.0" y="14.0"/>
2020-05-03 18:13:53 +02:00
<place domain="Master" name="S1_a" x="53.0" y="20.0"/>
<place domain="Master" name="S1_b" x="65.0" y="21.0"/>
<place domain="Master" label-x="3.0" label-y="0.0" name="R_1" x="80.0" y="23.0"/>
<place domain="Master" label-x="3.5" label-y="0.0" name="R_2" x="80.0" y="31.0"/>
<place name="R3" x="80.0" y="39.0"/>
<place domain="Master" label-x="-4.5" label-y="-1.5" name="S2_b" x="65.0" y="31.0"/>
<place name="S3" x="59.0" y="38.0"/>
<place domain="Master" label-x="4.5" label-y="0.0" name="S2_a" x="53.0" y="31.0"/>
<transition label-x="-3.0" label-y="0.0" name="T3" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="59.55" y="18.0"/>
<transition label-x="2.0" label-y="0.0" name="T4" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="53.55" y="26.0"/>
<transition label-x="-2.0" label-y="0.0" name="T5" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="65.55" y="26.0"/>
<transition label-y="-2.0" name="T6" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="59.55" y="35.0"/>
<transition label-x="2.0" label-y="0.0" name="T9" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="80.55" y="18.0"/>
<transition label-x="2.5" label-y="0.0" name="T8" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="80.55" y="27.0"/>
<transition label-x="2.0" label-y="0.0" name="T7" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="80.55" y="35.0"/>
<transition name="Reset_s" nservers-x="0.5" type="EXP" x="64.55" y="14.0"/>
<transition label-y="-2.0" name="Reset_r" nservers-x="0.5" type="EXP" x="85.55" y="14.0"/>
<transition label-x="1.0" label-y="-2.0" name="T1" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="29.55" y="18.0"/>
<place domain="Master" label-x="-0.5" label-y="2.0" marking="N&lt;All&gt;" name="Richiesta" x="29.0" y="13.0"/>
<place domain="Master" label-y="2.0" name="Attesa" x="29.0" y="24.0"/>
<place domain="Master" label-y="2.0" name="Elabora" x="29.0" y="34.0"/>
<transition name="T2" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="29.55" y="29.0"/>
<transition name="T0" nservers-x="0.5" type="EXP" x="23.55" y="34.0"/>
2020-05-05 15:06:01 +02:00
<place domain="Master" label-y="-2.0" name="Buffer_input" x="40.0" y="18.0"/>
<place domain="Master" name="Buffer_output" x="40.0" y="35.0"/>
<color-class definition="m{1..n}" name="Master" x="35.3125" y="8.0"/>
2020-05-03 18:13:53 +02:00
<color-var domain="Master" name="m" x="35.9375" y="10.0"/>
<template last-binding="1" name="N" type="INTEGER" x="36.0" y="6.0"/>
2020-05-05 15:06:01 +02:00
<template last-binding="2" name="Sn" type="INTEGER" x="38.0" y="6.0"/>
<template last-binding="2" name="Rn" type="INTEGER" x="40.0" y="6.0"/>
<template last-binding="3" name="n" type="INTEGER" x="43.0" y="6.0"/>
2020-05-03 18:13:53 +02:00
</nodes>
<edges>
<arc head="T3" kind="INPUT" tail="S0"/>
<arc head="S1_a" kind="OUTPUT" mult="&lt;m&gt;" tail="T3"/>
<arc head="S2_a" kind="OUTPUT" mult="&lt;m&gt;" tail="T4"/>
<arc head="T4" kind="INPUT" mult="&lt;m&gt;" tail="S1_a"/>
<arc head="T6" kind="INPUT" mult="&lt;m&gt;" tail="S2_a">
<point x="60.0" y="35.5"/>
</arc>
<arc head="S1_b" kind="OUTPUT" mult="&lt;m&gt;" tail="T3"/>
<arc head="S2_b" kind="OUTPUT" mult="&lt;m&gt;" tail="T5"/>
<arc head="T5" kind="INPUT" mult="&lt;m&gt;" tail="S1_b"/>
<arc head="T6" kind="INPUT" mult="&lt;m&gt;" tail="S2_b"/>
<arc head="S3" kind="OUTPUT" tail="T6"/>
<arc head="T9" kind="INPUT" tail="R0"/>
<arc head="R_1" kind="OUTPUT" mult="&lt;m&gt;" tail="T9"/>
<arc head="T8" kind="INPUT" mult="&lt;m&gt;" tail="R_1"/>
<arc head="R_2" kind="OUTPUT" mult="&lt;m&gt;" tail="T8"/>
<arc head="T7" kind="INPUT" mult="&lt;m&gt;" tail="R_2"/>
<arc head="R3" kind="OUTPUT" tail="T7"/>
<arc head="Reset_s" kind="INPUT" tail="S3">
<point x="71.0" y="38.5"/>
<point x="71.0" y="15.0"/>
</arc>
<arc head="S0" kind="OUTPUT" tail="Reset_s"/>
<arc head="Reset_r" kind="INPUT" tail="R3">
<point x="89.0" y="40.0"/>
<point x="89.0" y="15.0"/>
</arc>
<arc head="R0" kind="OUTPUT" tail="Reset_r"/>
<arc head="T1" kind="INPUT" mult="&lt;m&gt;" mult-x="0.5" tail="Richiesta"/>
<arc head="Attesa" kind="OUTPUT" mult="&lt;m&gt;" mult-k="1.2018554687500003" tail="T1">
<point x="30.0" y="22.0"/>
</arc>
<arc head="T2" kind="INPUT" mult="&lt;m&gt;" tail="Attesa"/>
<arc head="Elabora" kind="OUTPUT" mult="&lt;m&gt;" tail="T2"/>
<arc head="Buffer_input" kind="OUTPUT" mult="&lt;m&gt;" tail="T1"/>
<arc head="Buffer_output" kind="OUTPUT" mult="&lt;m&gt;" mult-k="0.8393554687500001" tail="T6">
<point x="52.0" y="36.0"/>
<point x="52.0" y="36.0"/>
<point x="52.5" y="36.0"/>
</arc>
<arc head="T3" kind="INPUT" mult="&lt;m&gt;" tail="Buffer_input"/>
<arc head="T0" kind="INPUT" mult="&lt;m&gt;" tail="Elabora"/>
<arc head="Richiesta" kind="OUTPUT" mult="&lt;m&gt;" tail="T0">
<point x="24.0" y="14.0"/>
</arc>
<arc head="T2" kind="INPUT" mult="&lt;m&gt;" tail="Buffer_output">
2020-05-05 15:06:01 +02:00
<point x="41.0" y="30.0"/>
2020-05-03 18:13:53 +02:00
</arc>
<arc head="T9" kind="INPUT" mult="&lt;m&gt;" mult-k="1.2639648437500002" tail="Buffer_input">
2020-05-05 15:06:01 +02:00
<point x="48.5" y="11.0"/>
<point x="75.0" y="11.0"/>
<point x="75.0" y="19.0"/>
2020-05-03 18:13:53 +02:00
</arc>
<arc head="Buffer_output" kind="OUTPUT" mult="&lt;m&gt;" mult-k="2.28427734375" mult-x="-0.5402589824786475" mult-y="3.6422181113892265" tail="T7">
<point x="76.5" y="36.0"/>
<point x="76.5" y="43.0"/>
2020-05-05 15:06:01 +02:00
<point x="41.0" y="43.0"/>
2020-05-03 18:13:53 +02:00
</arc>
</edges>
</gspn>
<measures gspn-name="CPN" name="RG of CPN" rapid-type="BUILD_RG" simplified-UI="true">
<assignments>
2020-05-05 15:06:01 +02:00
<assignment bind-model="SINGLE_VALUE" single-val="3" type="INTEGER" varname="N"/>
<assignment bind-model="SINGLE_VALUE" single-val="3" type="INTEGER" varname="n"/>
<assignment bind-model="SINGLE_VALUE" single-val="2" type="INTEGER" varname="Rn"/>
<assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="Sn"/>
2020-05-03 18:13:53 +02:00
</assignments>
<greatspn/>
<formulas>
<formula language="STAT"/>
<formula language="RG"/>
</formulas>
</measures>
2020-05-05 15:06:01 +02:00
<measures gspn-name="CPN" log-uuid="1a3972fe-9e68-4c1c-a4e5-87f483887240" name="SRG of CPN" rapid-type="BUILD_SYMRG" simplified-UI="true">
2020-05-03 18:13:53 +02:00
<assignments>
2020-05-05 15:06:01 +02:00
<assignment bind-model="SINGLE_VALUE" single-val="3" type="INTEGER" varname="N"/>
<assignment bind-model="RANGE" range-from="3" range-step="1" range-to="6" type="INTEGER" varname="n"/>
<assignment bind-model="SINGLE_VALUE" single-val="2" type="INTEGER" varname="Rn"/>
<assignment bind-model="SINGLE_VALUE" single-val="2" type="INTEGER" varname="Sn"/>
2020-05-03 18:13:53 +02:00
</assignments>
<greatspn mode="SWN_SYM"/>
<formulas>
2020-05-05 15:06:01 +02:00
<formula language="STAT">
<result-table>
<stat-result name="STAT">
<bindings>
<binding name="Sn" value="2"/>
<binding name="Rn" value="2"/>
<binding name="N" value="3"/>
<binding name="n" value="3"/>
</bindings>
<stat key="build_time" value="332 seconds"/>
<stat key="home_state" value="True"/>
<stat key="num_dead_markings" value="0"/>
<stat key="num_ordinary_dead_markings" value="0"/>
<stat key="num_ordinary_tangible_markings" value="3151680"/>
<stat key="num_ordinary_vanishing_markings" value="0"/>
<stat key="num_tangible_markings" value="538380"/>
<stat key="num_vanishing_markings" value="0"/>
</stat-result>
<stat-result failure_reason="&lt;not computed&gt;" name="STAT" state="FAIL_COMPUTE">
<bindings>
<binding name="Sn" value="2"/>
<binding name="Rn" value="2"/>
<binding name="N" value="3"/>
<binding name="n" value="4"/>
</bindings>
</stat-result>
<stat-result name="STAT" state="NOT_YET_COMPUTED">
<bindings>
<binding name="Sn" value="2"/>
<binding name="Rn" value="2"/>
<binding name="N" value="3"/>
<binding name="n" value="5"/>
</bindings>
</stat-result>
<stat-result name="STAT" state="NOT_YET_COMPUTED">
<bindings>
<binding name="Sn" value="2"/>
<binding name="Rn" value="2"/>
<binding name="N" value="3"/>
<binding name="n" value="6"/>
</bindings>
</stat-result>
</result-table>
</formula>
2020-05-03 18:13:53 +02:00
<formula language="RG"/>
</formulas>
</measures>
2020-05-05 15:06:01 +02:00
<resource-list>
<document-log uuid="1a3972fe-9e68-4c1c-a4e5-87f483887240">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAEJ0AKUbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vV05TUkcgIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIuYi9SZXRlRS1TUkcgb2YgQ1BOLnNvbHV0aW9uL0NQTiIgLW1wYXIgTiAzIC1tcGFyIFJuIDIgLW1wYXIgU24gMiAtbXBhciBuIDMgIC1ndWktc3RhdAp0ACtPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIE4gdG8gdmFsdWUgMy4KdAAsT3ZlcnJpZGluZyBtYXJraW5nIHBhcmFtZXRlciBSbiB0byB2YWx1ZSAyLgp0ACxPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIFNuIHRvIHZhbHVlIDIuCnQAK092ZXJyaWRpbmcgbWFya2luZyBwYXJhbWV0ZXIgbiB0byB2YWx1ZSAzLgp0AGMtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQp0AB1VU0UgOiBXTlNSRyBuZXRuYW1lIFstb11bLW1dCnQAAQp0AC1UbyBwbG90IHRoZSBnZW5lcmF0ZWQgUkcgaW4gR3JhcGh2aXogZm9ybWF0Ogp0ADQgICAgICBbLWRvdC1GIGZpbGVuYW1lLmRvdF0gWy1tYXgtZG90LW1hcmtpbmdzIG1heF0KdAA0UGFyYW1ldHJpYyBtYXJraW5nL3JhdGUgcGFyYW1ldGVycyBjYW4gYmUgc2V0IHdpdGg6CnQAOSAgICAgIFstbXBhciBwYXJhbV9uYW1lIHZhbHVlXSAgWy1ycGFyIHBhcmFtX25hbWUgdmFsdWVdCnQAYy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCnQAL1NlbmQgZmlsZXMgbmV0bmFtZS5uZXQsIC5kZWYgdG8gZS1tYWlsIGFkZHJlc3MKdAAqZ3JlYXRzcG5AZGkudW5pdG8uaXQgaWYgeW91IGZpbmQgYW55IGJ1Zy4KdABjLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KdAABCnQAUVdBUk5JTkcgOiBhIGRlZmF1bHQgZHluYW1pYyBzdWJjbGFzcyBoYXMgYmVlbiBhZGRlZCBmb3Igc3RhdGljIHN1YmNsYXNzIE1hc3Rlcl8wCnQAC1QxMDAwMDAgVjAKdAALVDMwMDAwMCBWMAp0AAtUMzAwMDAwIFYwCnQAC1Q0MDAwMDAgVjAKdAABCnQAKiAqKioqKiBTeW1ib2xpYyBSZWFjaGFiaWxpdHkgR3JhcGggKioqKiogCnQAAQp0ABxUQU5HSUJMRSBNQVJLSU5HUyAgOiA1MzgzODAKdAAXVkFOSVNISU5HIE1BUktJTkdTIDogMAp0ABdERUFEIE1BUktJTkdTICAgICAgOiAwCnQAAQp0ABxUT1RBTCBNQVJLSU5HUyAgICAgOiA1MzgzODAKdAABCnQAKiAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiogCnQAAQp0ACVPcmRpbmFyeSB0YW5naWJsZSBtYXJraW5ncyA6IDMxNTE2ODAKdAAgT3JkaW5hcnkgdmFuaXNoaW5nIG1hcmtpbmdzIDogMAp0ABtPcmRpbmFyeSBkZWFkIG1hcmtpbmdzIDogMAp0ACRUaGUgaW5pdGlhbCBtYXJraW5nIGlzIGEgaG9tZSBzdGF0ZQp0AB5UaW1lIHJlcXVpcmVkIC0tLS0tLS0tLS0+IDMzMgp0AAEKdAAqICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiAKdAAnG1swWBtbMzJtIFBST0NFU1MgRVhJVEVEIE5PUk1BTExZLhtbMG0KdAAFG1syWAp0AKUbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vV05TUkcgIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIuYi9SZXRlRS1TUkcgb2YgQ1BOLnNvbHV0aW9uL0NQTiIgLW1wYXIgTiAzIC1tcGFyIFJuIDIgLW1wYXIgU24gMiAtbXBhciBuIDQgIC1ndWktc3RhdAp0ACtPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIE4gdG8gdmFsdWUgMy4KdAAsT3ZlcnJpZGluZyBtYXJraW5nIHBhcmFtZXRlciBSbiB0byB2YWx1ZSAyLgp0ACxPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIFNuIHRvIHZhbHVlIDIuCnQAK092ZXJyaWRpbmcgbWFya2luZyBwYXJhbWV0ZXIgbiB0byB2YWx1ZSA0Lgp0AGMtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQp0AB1VU0UgOiBXTlNSRyBuZXRuYW1lIFstb11bLW1dCnQAAQp0AC1UbyBwbG90IHRoZSBnZW5lcmF0ZWQgUkcgaW4gR3JhcGh2aXogZm9ybWF0Ogp0ADQgICAgICBbLWRvdC1GIGZpbGVuYW1lLmRvdF0gWy1tYXgtZG90LW1hcmtpbmdzIG1heF0KdAA0UGFyYW1ldHJpYyBtYXJraW5nL3JhdGUgcGFyYW1ldGVycyBjYW4gYmUgc2V0IHdpdGg6CnQAOSAgICAgIFstbXBhciBwYXJhbV9uYW1lIHZhbHVlXSAgWy1ycGFyIHBhcmFtX25hbWUgdmFsdWVdCnQAYy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCnQAL1NlbmQgZmlsZXMgbmV0bmFtZS5uZXQsIC5kZWYgdG8gZS1tYWlsIGFkZHJlc3MKdAAqZ3JlYXRzcG5AZGkudW5pdG8uaXQgaWYgeW91IGZpbmQgYW55IGJ1Zy4KdABjLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KdAABCnQAUVdBUk5JTkcgOiBhIGRlZmF1bHQgZHluYW1pYyBzdWJjbGFzcyBoYXMgYmVlbiBhZGRlZCBmb3Igc3RhdGljIHN1YmNsYXNzIE1hc3Rlcl8wCnQAC1QzMDAwMDAgVjAKdAALVDMwMDAwMCBWMAp0AAtUMzAwMDAwIFYwCnQAC1Q0MDAwMDAgVjAKdAAjG1sxWBtbMzFtIFBST0NFU1MgSU5URVJSVVBURUQuG1swbQp0AC0bWzFYG1szMW0gRElEIE5PVCBDT01QTEVURSBUSEUgU09MVVRJT04uG1swbQp4c3EAfgAAdwQAAABCc3IAEWphdmEubGFuZy5Cb29sZWFuzSBygNWc+u4CAAFaAAV2YWx1ZXhwAXEAfgBGcQB+AEZxAH4ARnEAfgBGcQB+AEZxAH4AR
</resource-list>
2020-05-03 18:13:53 +02:00
</project>