UniTO/anno3/vpc/consegne/2/gspn/EsD.PNPRO

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="EsD" version="121">
  <gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false" zoom="75">
    <nodes>
      <place marking="1" name="S0" x="10.0" y="1.0"/>
      <transition label-x="-5.0" label-y="0.0" name="Inizio_Servizio_s" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="10.55" y="6.0"/>
      <place label-x="2.5" label-y="0.0" name="S1_a" x="4.0" y="10.0"/>
      <place label-x="-2.0" label-y="0.0" name="S1_b" x="16.0" y="10.0"/>
      <transition label-x="4.0" name="azione_locale_sa" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="4.55" y="14.0"/>
      <transition label-x="-4.0" label-y="1.5" name="azione_locale_sb" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="16.55" y="14.0"/>
      <place label-x="2.5" label-y="0.0" name="S2_a" x="4.0" y="18.0"/>
      <place label-x="-2.5" label-y="0.0" name="S2_b" x="16.0" y="18.0"/>
      <transition label-x="-4.0" label-y="0.0" name="Fine_Servizio_s" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="10.55" y="23.0"/>
      <transition name="Reset" nservers-x="0.5" type="EXP" x="1.55" y="27.0"/>
      <place name="S3" x="10.0" y="27.0"/>
      <place marking="1" name="R0" x="55.0" y="22.0"/>
      <place name="R1" x="55.0" y="31.0"/>
      <place name="R2" x="55.0" y="39.0"/>
      <place name="R3" x="55.0" y="48.0"/>
      <transition label-x="4.5" label-y="1.0" name="Inizio_Servizio_r" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="55.55" y="27.0"/>
      <transition label-x="3.5" label-y="1.5" name="Azione_locale" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="55.55" y="35.0"/>
      <transition label-x="3.5" label-y="1.5" name="Fine_Servizio_r" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="55.55" y="44.0"/>
      <transition name="T3" nservers-x="0.5" rotation="6.283185307179586" type="EXP" x="67.55" y="48.0"/>
      <place label-x="-2.0" label-y="-1.0" marking="1" name="M0" x="40.0" y="1.0"/>
      <place name="M1" x="40.0" y="9.0"/>
      <transition label-y="-2.0" name="azione_locale_m" nservers-x="0.5" type="EXP" x="40.55" y="5.0"/>
      <transition name="Richiesta_Servizio" nservers-x="0.5" type="EXP" x="35.55" y="9.0"/>
      <transition label-x="-5.0" name="Attesa_Elaborazione" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="40.55" y="20.0"/>
      <place label-y="-1.5" name="M2" x="40.0" y="14.0"/>
      <place label-x="-1.5" name="M3" x="40.0" y="23.0"/>
      <transition label-x="-2.5" name="Reset_M" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="46.55" y="14.0"/>
      <place name="Buffer_s" x="22.0" y="6.0"/>
      <place label-x="-3.5" label-y="-1.5" name="Risultato" x="24.0" y="23.0"/>
      <place label-x="-2.0" label-y="-1.0" marking="1" name="M0_2" x="34.0" y="26.0"/>
      <place name="M1_2" x="34.0" y="34.0"/>
      <transition label-x="-3.5" label-y="-2.0" name="azione_locale_m_2" nservers-x="0.5" type="EXP" x="34.55" y="30.0"/>
      <transition name="Richiesta_Servizio_2" nservers-x="0.5" type="EXP" x="39.55" y="34.0"/>
      <transition label-x="4.5" label-y="-2.0" name="Attesa_elaborazione_2" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="34.55" y="44.0"/>
      <place label-y="-1.5" name="M2_2" x="34.0" y="39.0"/>
      <place label-x="-1.5" name="M3_2" x="34.0" y="48.0"/>
      <transition label-x="2.5" name="Reset_M_2" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="26.55" y="39.0"/>
      <place label-x="3.5" name="Buffer_2" x="46.0" y="31.0"/>
      <place name="Risultato_2" x="45.0" y="44.0"/>
    </nodes>
    <edges>
      <arc head="Inizio_Servizio_s" kind="INPUT" tail="S0"/>
      <arc head="S1_a" kind="OUTPUT" tail="Inizio_Servizio_s"/>
      <arc head="S1_b" kind="OUTPUT" tail="Inizio_Servizio_s"/>
      <arc head="azione_locale_sb" kind="INPUT" tail="S1_b"/>
      <arc head="azione_locale_sa" kind="INPUT" tail="S1_a"/>
      <arc head="S2_a" kind="OUTPUT" tail="azione_locale_sa"/>
      <arc head="S2_b" kind="OUTPUT" tail="azione_locale_sb"/>
      <arc head="Fine_Servizio_s" kind="INPUT" tail="S2_a"/>
      <arc head="Fine_Servizio_s" kind="INPUT" tail="S2_b"/>
      <arc head="S3" kind="OUTPUT" tail="Fine_Servizio_s"/>
      <arc head="Reset" kind="INPUT" tail="S3"/>
      <arc head="S0" kind="OUTPUT" tail="Reset">
        <point x="2.0" y="24.0"/>
        <point x="2.0" y="2.0"/>
      </arc>
      <arc head="R0" kind="OUTPUT" tail="T3">
        <point x="68.0" y="23.0"/>
      </arc>
      <arc head="T3" kind="INPUT" tail="R3"/>
      <arc head="R3" kind="OUTPUT" tail="Fine_Servizio_r"/>
      <arc head="Fine_Servizio_r" kind="INPUT" tail="R2"/>
      <arc head="R2" kind="OUTPUT" tail="Azione_locale"/>
      <arc head="Azione_locale" kind="INPUT" tail="R1"/>
      <arc head="R1" kind="OUTPUT" tail="Inizio_Servizio_r"/>
      <arc head="Inizio_Servizio_r" kind="INPUT" tail="R0"/>
      <arc head="azione_locale_m" kind="INPUT" tail="M0">
        <point x="37.5" y="2.0"/>
        <point x="37.5" y="6.0"/>
      </arc>
      <arc head="M1" kind="OUTPUT" tail="azione_locale_m">
        <point x="44.5" y="6.0"/>
        <point x="44.5" y="10.0"/>
      </arc>
      <arc head="Richiesta_Servizio" kind="INPUT" tail="M1"/>
      <arc head="M2" kind="OUTPUT" tail="Richiesta_Servizio">
        <point x="36.0" y="15.0"/>
      </arc>
      <arc head="Attesa_Elaborazione" kind="INPUT" tail="M2"/>
      <arc head="M3" kind="OUTPUT" tail="Attesa_Elaborazione"/>
      <arc head="M0" kind="OUTPUT" tail="Reset_M">
        <point x="47.0" y="2.0"/>
      </arc>
      <arc head="Reset_M" kind="INPUT" tail="M3">
        <point x="47.0" y="24.0"/>
      </arc>
      <arc head="azione_locale_m_2" kind="INPUT" tail="M0_2">
        <point x="38.0" y="27.0"/>
        <point x="38.0" y="31.0"/>
      </arc>
      <arc head="M1_2" kind="OUTPUT" tail="azione_locale_m_2">
        <point x="32.5" y="31.0"/>
        <point x="32.5" y="35.0"/>
      </arc>
      <arc head="Richiesta_Servizio_2" kind="INPUT" tail="M1_2"/>
      <arc head="M2_2" kind="OUTPUT" tail="Richiesta_Servizio_2">
        <point x="40.0" y="40.0"/>
      </arc>
      <arc head="Attesa_elaborazione_2" kind="INPUT" tail="M2_2"/>
      <arc head="M3_2" kind="OUTPUT" tail="Attesa_elaborazione_2"/>
      <arc head="M0_2" kind="OUTPUT" mult-k="0.46533203125" tail="Reset_M_2">
        <point x="27.0" y="27.0"/>
      </arc>
      <arc head="Reset_M_2" kind="INPUT" tail="M3_2">
        <point x="27.0" y="49.0"/>
      </arc>
      <arc head="Inizio_Servizio_s" kind="INPUT" tail="Buffer_s"/>
      <arc head="Risultato" kind="OUTPUT" tail="Fine_Servizio_s"/>
      <arc head="Buffer_s" kind="OUTPUT" tail="Richiesta_Servizio">
        <point x="29.5" y="10.0"/>
        <point x="29.5" y="7.0"/>
      </arc>
      <arc head="Buffer_2" kind="OUTPUT" tail="Richiesta_Servizio_2">
        <point x="47.0" y="35.0"/>
      </arc>
      <arc head="Inizio_Servizio_r" kind="INPUT" tail="Buffer_2">
        <point x="47.0" y="28.0"/>
      </arc>
      <arc head="Risultato_2" kind="OUTPUT" tail="Fine_Servizio_r"/>
      <arc head="Attesa_elaborazione_2" kind="INPUT" tail="Risultato_2"/>
      <arc head="Attesa_Elaborazione" kind="INPUT" tail="Risultato">
        <point x="25.0" y="21.0"/>
      </arc>
    </edges>
  </gspn>
  <measures gspn-name="PT" log-uuid="6025fb2a-f871-43f0-b0a9-5486045ef9bd" name="Measures" simplified-UI="false">
    <assignments/>
    <rgmedd2 variable-order="HEURISTIC_TOVCHIGRECHKO"/>
    <formulas>
      <formula comment="Basic statistics of the toolchain execution." language="STAT">
        <result-table>
          <stat-result name="STAT">
            <bindings/>
            <stat key="build_time" value="0.000817 seconds."/>
            <stat key="num_rs_nodes" value="52"/>
            <stat key="num_tangible_markings" value="168"/>
            <stat key="total_firings" value="452"/>
          </stat-result>
        </result-table>
      </formula>
      <formula language="DD"/>
    </formulas>
  </measures>
  <resource-list>
    <document-log uuid="6025fb2a-f871-43f0-b0a9-5486045ef9bd">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAHR0AJgbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXNELU1lYXN1cmVzLnNvbHV0aW9uL1BUIiAtcGJhc2lzIC1kZXRlY3QtZXhwIC1wc2ZsIC1ibmQgCnQAdRtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzRC1NZWFzdXJlcy5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAwCnQAEFBMQUNFUzogICAgICAyMgp0AA9SQVRFIFBBUjogICAgMAp0ABBUUkFOU0lUSU9OUzogMTcKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAeQ09NUFVUSU5HIFBMQUNFIEZMT1cgQkFTSVMuLi4KdAASTT0xNywgTj0yMiwgTjA9MjIKdAA5Q29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogc3RlcCAxLzE3LCB8S3w9MjAsIHByb2R1Y3RzPTEKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFMbWzFBQ29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogY29tcGxldGVkIGluIDE1IHN0ZXBzLCB8S3w9Ny4gICAgICAgICAgICAgICAgICAgICAgCnQAQEZPVU5EIDcgVkVDVE9SUyBJTiBUSEUgUExBQ0UgRkxPVyBCQVNJUyAoNSBzZW1pZmxvd3MsIDIgZmxvd3MpLgp0AAEKdAABCnQAJ0FsbCBwbGFjZXMgYXJlIGNvdmVyZWQgYnkgc29tZSBQLWZsb3cuCnQAAQp0ACZUT1RBTCBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAJ0FWT0lEIEVYUE9ORU5USUFMIEdST1dUSCBPRiBTRU1JRkxPV1MuCnQAHUNPTVBVVElORyBQTEFDRSBTRU1JRkxPV1MuLi4KdAASTT0xNywgTj0yMiwgTjA9MjIKdAArR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IHN0ZXAgMS8xNywgfEt8PTIwCnQAUxtbMUEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKdABRG1sxQUdlbmVyYXRpb24gb2YgU2VtaWZsb3dzOiBjb21wbGV0ZWQgaW4gMTUgc3RlcHMsIHxLfD04LiAgICAgICAgICAgICAgICAgICAgICAKdAAZRk9VTkQgOCBQTEFDRSBTRU1JRkxPV1MuCnQAAQp0AAEKdAArQWxsIHBsYWNlcyBhcmUgY292ZXJlZCBieSBzb21lIFAtc2VtaWZsb3cuCnQAAQp0ACZUT1RBTCBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQALENPTVBVVElORyBQTEFDRSBCT1VORFMgRlJPTSBQLVNFTUlGTE9XUyAuLi4KdAAnG1swWBtbMzJtIFBST0NFU1MgRVhJVEVEIE5PUk1BTExZLhtbMG0KdACpG1swbUVYRUM6IHBlcmwgLWUgJ2FsYXJtIDUgOyBleGVjICIvdXNyL2xvY2FsL0dyZWF0U1BOL2Jpbi9EU1BOLVRvb2wgLWxvYWQgXCIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXNELU1lYXN1cmVzLnNvbHV0aW9uL1BUXCIgLWxvYWQtYm5kIC1pbHAtYm5kIiAnCnQAdRtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzRC1NZWFzdXJlcy5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAwCnQAEFBMQUNFUzogICAgICAyMgp0AA9SQVRFIFBBUjogICAgMAp0ABBUUkFOU0lUSU9OUzogMTcKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAVTE9BRElORyBCTkQgRklMRSAuLi4KdAAlQ09NUFVUSU5HIFBMQUNFIEJPVU5EUyBVU0lORyBJTFAgLi4uCnQAGEFsbCBwbGFjZXMgYXJlIGJvdW5kZWQuCnEAfgAkdACAG1swbUVYRUM6IC91c3IvbG9jYWwvR3JlYXRTUE4vYmluL1JHTUVERDMgIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQiIC1UT1YgIC1ndWktc3RhdAp0ACBSYW5kb20gc2VlZHM6IDE1OTAwNzI4NzAgNTg5MTk1CnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAARR3JlYXRTUE4vTWVkZGx5Lgp0ADggIENvcHlyaWdodCAoQykgMTk4Ny0yMDE4LCBVbml2ZXJzaXR5IG9mIFRvcmlubywgSXRhbHkuCnQAMSAgU2VuZCBmaWxlcyBuZXRuYW1lLm5ldCwgLmRlZiB0byBlLW1haWwgYWRkcmVzcwp0ACsgIGJlY2N1dGlAZGkudW5pdG8uaXQgaWYgeW91IGZpbmQgYW55IGJ1Zy4KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AB9CYXNlZCBvbiBNRURETFkgdmVyc2lvbiAwLjE2LjAKdABGICBDb3B5cmlnaHQgKEMpIDIwMDksIElvd2EgU3RhdGUgVW5pdmVyc2l0eSBSZXNlYXJjaCBGb3VuZGF0aW9uLCBJbmMuCnQAKSAgd2Vic2l0ZTogaHR0cDovL21lZGRseS5zb3VyY2Vmb3JnZS5uZXQKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AClVc2luZyBwZXItZXZlbnQgc2F0dXJhdGlvbiAoc2F0LXByZWdlbikuCnQAG1VzaW5nIGZhc3QgTlNGIGdlbmVyYXRpb24uCnQAElByb2Nlc3MgSUQ6IDE5NDI5CnQAUE1PREVMIE5BTUU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQKdAAdICAyMiBwbGFjZXMsIDE3IHRyYW5zaXRpb25zLgp0ACdVc2VkIE1lbW9yeSBmb3IgZW5jb2RpbmcgbmV0OiAzNjE1NjhLQgp0AFpPcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwb
  </resource-list>
</project>