diff --git a/anno3/vpc/Balbo.pdf b/anno3/vpc/Balbo.pdf
new file mode 100644
index 0000000..3b7e5ba
Binary files /dev/null and b/anno3/vpc/Balbo.pdf differ
diff --git a/anno3/vpc/consegne/2.b/19-20EsercizioWN.pdf b/anno3/vpc/consegne/2.b/19-20EsercizioWN.pdf
new file mode 100644
index 0000000..3f16a16
Binary files /dev/null and b/anno3/vpc/consegne/2.b/19-20EsercizioWN.pdf differ
diff --git a/anno3/vpc/consegne/2.b/ReteE.PNPRO b/anno3/vpc/consegne/2.b/ReteE.PNPRO
new file mode 100644
index 0000000..22e0cba
--- /dev/null
+++ b/anno3/vpc/consegne/2.b/ReteE.PNPRO
@@ -0,0 +1,126 @@
+<?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">
+  <gspn name="CPN" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false" zoom="75">
+    <nodes>
+      <place label-y="-2.0" marking="R1" name="S0" x="59.0" y="14.0"/>
+      <place label-y="-2.0" marking="R2" name="R0" x="80.0" y="14.0"/>
+      <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"/>
+      <place domain="Master" label-y="-2.0" name="Buffer_input" x="49.0" y="18.0"/>
+      <place domain="Master" name="Buffer_output" x="44.0" y="35.0"/>
+      <color-class definition="m{1..k}" name="Master" x="35.3125" y="8.0"/>
+      <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"/>
+      <template last-binding="2" name="R1" type="INTEGER" x="38.0" y="6.0"/>
+      <template last-binding="2" name="R2" type="INTEGER" x="40.0" y="6.0"/>
+      <template last-binding="3" name="k" type="INTEGER" x="79.0" y="35.0"/>
+    </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">
+        <point x="45.0" y="30.0"/>
+      </arc>
+      <arc head="T9" kind="INPUT" mult="&lt;m&gt;" mult-k="1.2639648437500002" tail="Buffer_input">
+        <point x="50.0" y="11.0"/>
+        <point x="76.5" y="11.0"/>
+        <point x="76.5" y="19.0"/>
+      </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"/>
+        <point x="45.0" y="42.5"/>
+      </arc>
+    </edges>
+  </gspn>
+  <measures gspn-name="CPN" name="RG of CPN" rapid-type="BUILD_RG" simplified-UI="true">
+    <assignments>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="N"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="R1"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="R2"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="k"/>
+    </assignments>
+    <greatspn/>
+    <formulas>
+      <formula language="STAT"/>
+      <formula language="RG"/>
+    </formulas>
+  </measures>
+  <measures gspn-name="CPN" name="SRG of CPN" rapid-type="BUILD_SYMRG" simplified-UI="true">
+    <assignments>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="N"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="R1"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="1" type="INTEGER" varname="R2"/>
+      <assignment bind-model="SINGLE_VALUE" single-val="6" type="INTEGER" varname="k"/>
+    </assignments>
+    <greatspn mode="SWN_SYM"/>
+    <formulas>
+      <formula language="STAT"/>
+      <formula language="RG"/>
+    </formulas>
+  </measures>
+</project>
diff --git a/anno3/vpc/consegne/2.b/reteE.jpg b/anno3/vpc/consegne/2.b/reteE.jpg
new file mode 100644
index 0000000..e29fe40
Binary files /dev/null and b/anno3/vpc/consegne/2.b/reteE.jpg differ
diff --git a/anno3/vpc/consegne/2/2.pn.org b/anno3/vpc/consegne/2/2.pn.org
index d9c0538..c85a445 100644
--- a/anno3/vpc/consegne/2/2.pn.org
+++ b/anno3/vpc/consegne/2/2.pn.org
@@ -48,6 +48,30 @@ stesso padre nei seguenti modi:
 - usando reti WN
 
 
+** TODO Riduzione
+** TODO P e T invarianti
+Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
+
+[[./semiflowsAT.jpg]]
+[[./semiflowsAP.jpg]]
+
+Gli P-invarianti sono i seguenti:
+| S0 + S1_a + S2_a + S3
+| S0 + S1_b + S2_b + S3
+| M0 + M1 + M2 + M3
+| S1_a + S2_a + Buffer_output + Buffer_input + M0 + M1 + M3
+| S1_b + S2_b + Buffer_output + Buffer_input + M0 + M1 + M3
+Il T-invariante e` il seguento:
+\[
+Inizio_servizio + azione_locale_sa + azione_locale_sb + \\
+Fine_servizio + Reset_s + azione_locale_m + Richiesta_servizio +  \\
+Attesa_elaborazione + Reset_m + Reset_s
+\]
+
+Dato che la reteA e` interamente coperta dagli P-semiflussi, possiamo
+affermare che la rete sia bounded.
+[ ] Deadlock
+[ ] Liveness
 
 * Rete B
 M master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
@@ -98,6 +122,36 @@ Lo slave di tipo 1 processa una sola richiesta alla volta.
 Il master in attesa del risultato (M2) potrebbe ricevere il risultato
 di un lavoro richiesto da un altro master.
 
+** TODO P e T invarianti
+Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
+
+[[./semiflowsBT.jpg]]
+[[./semiflowsBP.jpg]]
+
+Gli P-invarianti sono i seguenti:
+| S0 + S1_a + S2_a + S3
+| S0 + S1_b + S2_b + S3
+| R0 + R1 + R2 + R3
+| M0 + M1 + M2 + M3
+| S1_a + S2_a + R1 + R2 + M0 + M1 + M3 + Freechoice + P0 + P1 + Risultato
+| S1_b + S2_b + R1 + R2 + M0 + M1 + M3 + Freechoice + P0 + P1 + Risultbto
+Gli T-invarianti sono i seguenti:
+\[
+Inizio_servizio_R + azione_locale_R + \\
+Fine_servizio_R + Reset_R + azione_locale_m + Richiesta_servizio +  \\
+Attesa_elaborazione + Reset_M + Scelta_2
+\]
+\[
+Inizio_servizio_S + azione_locale_sa + azione_locale_sb + \\
+Fine_servizio_S + Reset_s + azione_locale_m + Richiesta_servizio +  \\
+Attesa_elaborazione + Reset_m + Scelta_1
+\]
+
+Dato che la reteB e` interamente coperta dagli P-semiflussi, possiamo
+affermare che la rete sia bounded.
+[ ] Deadlock
+[ ] Liveness
+
 * Rete C
 Due master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
 liberamente dai master.
@@ -117,10 +171,27 @@ R3 e dalle transizioni Inizio_Servizio_R, Azione_Locale_R, Fine_Servizio e Reset
 La richiesta del servizio
 verso lo slave scelto e` gestita attraverso due buffer, posti
 FreeChoice e Risultato.
+** TODO P e T invarianti
+[ ] Immagini
+Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
+
+[[./semiflowsBT.jpg]]
+[[./semiflowsBP.jpg]]
+
+Gli P-invarianti sono i seguenti:
+Gli T-invarianti sono i seguenti:
+
+Dato che la reteB e` interamente coperta dagli P-semiflussi, possiamo
+affermare che la rete sia bounded.
+[ ] Deadlock
+[ ] Liveness
 
 * Rete D
 Due master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
 associati ciascuno ad un master diverso.
 
-#+CAPTION: Modello della reteC
+#+CAPTION: Modello della reteD
 [[./reteD.jpg]]
+
+** TODO P e T invarianti
+** TODO Decision Diagram
diff --git a/anno3/vpc/consegne/2/riduzioneA.jpg b/anno3/vpc/consegne/2/riduzioneA.jpg
new file mode 100644
index 0000000..3af787b
Binary files /dev/null and b/anno3/vpc/consegne/2/riduzioneA.jpg differ
diff --git a/anno3/vpc/consegne/2/semiflowsAP.jpg b/anno3/vpc/consegne/2/semiflowsAP.jpg
new file mode 100644
index 0000000..51858d1
Binary files /dev/null and b/anno3/vpc/consegne/2/semiflowsAP.jpg differ
diff --git a/anno3/vpc/consegne/2/semiflowsAT.jpg b/anno3/vpc/consegne/2/semiflowsAT.jpg
new file mode 100644
index 0000000..1284747
Binary files /dev/null and b/anno3/vpc/consegne/2/semiflowsAT.jpg differ
diff --git a/anno3/vpc/consegne/2/semiflowsBP.jpg b/anno3/vpc/consegne/2/semiflowsBP.jpg
new file mode 100644
index 0000000..520f2c0
Binary files /dev/null and b/anno3/vpc/consegne/2/semiflowsBP.jpg differ
diff --git a/anno3/vpc/consegne/2/semiflowsBT.jpg b/anno3/vpc/consegne/2/semiflowsBT.jpg
new file mode 100644
index 0000000..56d9a84
Binary files /dev/null and b/anno3/vpc/consegne/2/semiflowsBT.jpg differ
diff --git a/anno3/vpc/gspn/Es2-Measures.solution/PT.net b/anno3/vpc/gspn/Es2-Measures.solution/PT.net
index a8118ca..234ae7e 100644
--- a/anno3/vpc/gspn/Es2-Measures.solution/PT.net
+++ b/anno3/vpc/gspn/Es2-Measures.solution/PT.net
@@ -37,7 +37,7 @@ Fine_Servizio       1.0 0 0 2 0 2.6666666666666665 4.5 1.609375 4.55729166666666
    1 6 0 0
    1 7 0 0
    0
-Reset               1.0 0 0 1 1 1.1666666666666667 5.166666666666667 1.046875 4.973958333333333 1.25 5.234375 0
+Reset_s             1.0 0 0 1 1 1.1666666666666667 5.166666666666667 0.9739583333333334 4.973958333333333 1.25 5.234375 0
    1 6 0 0
    1
    1 1 2 0
diff --git a/anno3/vpc/gspn/Es2.PNPRO b/anno3/vpc/gspn/Es2.PNPRO
index 0f3b5a0..924cb3a 100644
--- a/anno3/vpc/gspn/Es2.PNPRO
+++ b/anno3/vpc/gspn/Es2.PNPRO
@@ -67,21 +67,30 @@
       <arc head="Reset_M" kind="INPUT" tail="M3">
         <point x="52.0" y="24.0"/>
       </arc>
-      <arc head="Inizio_Servizio" kind="INHIBITOR" tail="S2_a"/>
-      <arc head="Inizio_Servizio" kind="INHIBITOR" tail="S1_a">
-        <point x="16.0" y="14.0"/>
-      </arc>
-      <arc head="Inizio_Servizio" kind="INHIBITOR" tail="S1_b">
-        <point x="16.0" y="14.0"/>
-      </arc>
-      <arc head="Inizio_Servizio" kind="INHIBITOR" tail="S2_b"/>
     </edges>
   </gspn>
-  <measures gspn-name="PT" name="Measures" simplified-UI="false">
+  <measures gspn-name="PT" log-uuid="4448218c-be0d-4ed1-a80c-01d29e194002" name="Measures" simplified-UI="false">
     <assignments/>
-    <rgmedd2/>
+    <rgmedd2 variable-order="HEURISTIC_GPS"/>
     <formulas>
-      <formula comment="Basic statistics of the toolchain execution." language="STAT"/>
+      <formula comment="Basic statistics of the toolchain execution." language="STAT">
+        <result-table>
+          <stat-result name="STAT">
+            <bindings/>
+            <stat key="build_time" value="0.158327 seconds."/>
+            <stat key="num_rs_nodes" value="1587"/>
+            <stat key="num_tangible_markings" value="98030556"/>
+            <stat key="total_firings" value="719231175"/>
+          </stat-result>
+        </result-table>
+      </formula>
+      <formula language="DD">
+        <result-table>
+          <pdf-result failure_reason="&lt;not computed&gt;" name="DD" state="FAIL_COMPUTE">
+            <bindings/>
+          </pdf-result>
+        </result-table>
+      </formula>
     </formulas>
   </measures>
   <measures gspn-name="PT" name="RG of PT" rapid-type="BUILD_RG" simplified-UI="true">
@@ -91,6 +100,10 @@
       <formula language="STAT"/>
       <formula language="RG"/>
       <formula language="ALL"/>
+      <formula language="PERFORMANCE_INDEX"/>
     </formulas>
   </measures>
+  <resource-list>
+    <document-log uuid="4448218c-be0d-4ed1-a80c-01d29e194002">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAHN0AI0bWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9nc3BuL0VzMi1NZWFzdXJlcy5zb2x1dGlvbi9QVCIgLXBiYXNpcyAtZGV0ZWN0LWV4cCAtcHNmbCAtYm5kIAp0AGobWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2dzcG4vRXMyLU1lYXN1cmVzLnNvbHV0aW9uL1BUIChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDAKdAAQUExBQ0VTOiAgICAgIDEyCnQAD1JBVEUgUEFSOiAgICAwCnQAD1RSQU5TSVRJT05TOiA5CnQAD01FQVNVUkVTOiAgICAwCnQAKExPQURJTkcgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0AAEKdAABCnQAHkNPTVBVVElORyBQTEFDRSBGTE9XIEJBU0lTLi4uCnQAEU09OSwgTj0xMiwgTjA9MTIKdAA4Q29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogc3RlcCAxLzksIHxLfD0xMCwgcHJvZHVjdHM9MQp0AFMbWzFBICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCnQAUhtbMUFDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBjb21wbGV0ZWQgaW4gOCBzdGVwcywgfEt8PTQuICAgICAgICAgICAgICAgICAgICAgIAp0AEBGT1VORCA0IFZFQ1RPUlMgSU4gVEhFIFBMQUNFIEZMT1cgQkFTSVMgKDMgc2VtaWZsb3dzLCAxIGZsb3dzKS4KdAABCnQAAQp0ACdBbGwgcGxhY2VzIGFyZSBjb3ZlcmVkIGJ5IHNvbWUgUC1mbG93Lgp0AAEKdAAmVE9UQUwgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0ACdBVk9JRCBFWFBPTkVOVElBTCBHUk9XVEggT0YgU0VNSUZMT1dTLgp0AB1DT01QVVRJTkcgUExBQ0UgU0VNSUZMT1dTLi4uCnQAEU09OSwgTj0xMiwgTjA9MTIKdAAqR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IHN0ZXAgMS85LCB8S3w9MTAKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFAbWzFBR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IGNvbXBsZXRlZCBpbiA4IHN0ZXBzLCB8S3w9NS4gICAgICAgICAgICAgICAgICAgICAgCnQAGUZPVU5EIDUgUExBQ0UgU0VNSUZMT1dTLgp0AAEKdAABCnQAK0FsbCBwbGFjZXMgYXJlIGNvdmVyZWQgYnkgc29tZSBQLXNlbWlmbG93Lgp0AAEKdAAmVE9UQUwgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0ACxDT01QVVRJTkcgUExBQ0UgQk9VTkRTIEZST00gUC1TRU1JRkxPV1MgLi4uCnQAJxtbMFgbWzMybSBQUk9DRVNTIEVYSVRFRCBOT1JNQUxMWS4bWzBtCnQAnhtbMG1FWEVDOiBwZXJsIC1lICdhbGFybSA1IDsgZXhlYyAiL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkIFwiL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFRcIiAtbG9hZC1ibmQgLWlscC1ibmQiICcKdABqG1sxbRtbNG1MT0FESU5HIFBFVFJJIE5FVCAvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9nc3BuL0VzMi1NZWFzdXJlcy5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAwCnQAEFBMQUNFUzogICAgICAxMgp0AA9SQVRFIFBBUjogICAgMAp0AA9UUkFOU0lUSU9OUzogOQp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0ABVMT0FESU5HIEJORCBGSUxFIC4uLgp0ACVDT01QVVRJTkcgUExBQ0UgQk9VTkRTIFVTSU5HIElMUCAuLi4KdAAYQWxsIHBsYWNlcyBhcmUgYm91bmRlZC4KcQB+ACR0ALMbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vUkdNRUREMyAiL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQiIC1HUFMgIC1kb3QtRiAiL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQtREQtMCIgCnQAIFJhbmRvbSBzZWVkczogMTU4ODQ0ODYxMSAyMzkzNjgKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ABFHcmVhdFNQTi9NZWRkbHkuCnQAOCAgQ29weXJpZ2h0IChDKSAxOTg3LTIwMTgsIFVuaXZlcnNpdHkgb2YgVG9yaW5vLCBJdGFseS4KdAAxICBTZW5kIGZpbGVzIG5ldG5hbWUubmV0LCAuZGVmIHRvIGUtbWFpbCBhZGRyZXNzCnQAKyAgYmVjY3V0aUBkaS51bml0by5pdCBpZiB5b3UgZmluZCBhbnkgYnVnLgp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAH0Jhc2VkIG9uIE1FRERMWSB2ZXJzaW9uIDAuMTYuMAp0AEYgIENvcHlyaWdodCAoQykgMjAwOSwgSW93YSBTdGF0ZSBVbml2ZXJzaXR5IFJlc2VhcmNoIEZvdW5kYXRpb24sIEluYy4KdAApICB3ZWJzaXRlOiBodHRwOi8vbWVkZGx5LnNvdXJjZWZvcmdlLm5ldAp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAKVVzaW5nIHBlci1ldmVudCBzYXR1cmF0aW9uIChzYXQtcHJlZ2VuKS4KdAAbVXNpbmcgZmFzdCBOU0YgZ2VuZXJhdGlvbi4KdAASUHJvY2VzcyBJRDogMjE4NjIKdABFTU9ERUwgTkFNRTogL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQKdAAcICAxMiBwbGFjZXMsIDkgdHJhbnNpdGlvbnMuCnQAJ1VzZWQgTWVtb3J5IGZvciBlbmNvZGluZyBuZXQ6IDM0Njk4OEtCCnQAT09wZW5pbmcgZmlsZTogL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQuYm5kIE9LLgp0AFJPcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2dzcG4vRXMyLU1lYXN1cmVzLnNvbHV0aW9uL1BULmlscGJuZCBPSy4KdAAQSU5QVVQgQVJDUzogIDEyCnQAEE9VVFBVVCBBUkNTOiAxMgp0AA9JTkhJQiBBUkNTOiAgMAp0AA9URVNUIEFSQ1M6ICAgMAp0ABBQTEFDRVM6ICAgICAgMTIKdAAPVFJBTlNJVElPTlM6IDkKdAAPSU5WQVJJQU5UUzogIDQKdAAPUC1TRU1JRkxPV1M6IDUKdAAWTUFYIElOVkFSSUFOVCBDQVJEOiAxCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IFZBUklBQkxFIE9SREVSID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAOVZhcmlhYmxlIG9yZGVyIG1ldGhvZDogVkNMIEdpYmJzLVBvb2xlLVN0b2NrTWV5ZXIgbWV0aG9kCnQAKFRpbWUgdG8gY29tcHV0ZSB2YXJpYWJsZSBvcmRlcjogNi42ZS0wNQp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBTVEFSVCBGSVJJTkcgUlVMRVMgRU5DT0RJTkcgPT09PT09PT09PT09PT09PT09PT09PT09PQp0ACtFbmNvZGVkIDkgdHJhbnNpdGlvbiBpbiAxIHByaW9yaXR5IGdyb3Vwcy4KdAAhVGltZSB0byBidWlsZCBhbGwgTlNGczogMC4wMDg2MTEKdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT0gUkVBQ0hBQklMSVRZIFNFVCBHRU5FUkFUSU9OID09PT09PT09PT09PT09PT09PT09PT09PT0KdAAVU3BsaXQ6IFNwbGl0U3VidHJhY3QKdAAcUlMgZ2VuZXJhdGlvbiB0aW1lOiAwLjI5NDk3CnQAHUNvbXB1dGluZyB2YXJpYWJsZSBib3VuZHMuLi4KdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IE1FTU9SWSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAqIENhcmRpbmFsaXR5KFJTKTogICAgICAgICA5ODAzMDU1NiAgICAgICAKdAAqICMgZmlyZWQgdHJhbnNpdGlvbnM6ICAgICA3MTkyMzExNzUgICAgICAKdAAqIE1heCB0b2tlbnMgaW4gcGxhY2U6ICAgICAyNSAgICAgICAgICAgICAKdAAqIE1heCB0b2tlbnMgeCBtYXJraW5nOiAgICA3NSAgICAgICAgICAgICAKdAAfIFJTIG5vZGVzOiAgICAgICAgICAgICAgICA3NDM3CnQAICBSUyBlZGdlczogICAgICAgICAgICAgICAgMTUyNjIKdABEIEZvcmVzdChSUykgbm9kZXM6ICAgICAgICA1MzY4NSBhY3RpdmVzLCA1NTM0NiBwZWFrLCAwIGNvbXBhY3Rpb25zLgp0AEEgRm9yZXN0KFJTKSBzaXplOiAgICAgICAgIDE2OTkxOTIgQnl0ZXMgbm93LCAxNzYyMjQwIEJ5dGVzIHBlYWsuCnQAQiBNeEQgbm9kZXM6ICAgICAgICAgICAgICAgMTEwMiBhY3RpdmVzLCAxMTI0IHBlYWssIDAgY29tcGFjdGlvbnMuCnQAPSBNeEQgc2l6ZTogICAgICAgICAgICAgICAgNDE1NjAgQnl0ZXMgbm93LCA0MzIxNiBCeXRlcyBwZWFrLgp0ACkgVG90YWwgTWVtb3J5IFVzZWQ6ICAgICAgIDM0Njk4OCBLQnl0ZXMuCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gVElNRSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAJSBWYXJpYWJsZSBvcmRlciBUaW1lOiAwLjAwMCAgICAgc2VjLgp0ACUgTlNGIGdlbi4gVGltZTogICAgICAgMC4wMDkgICAgIHNlYy4KdAAlIFJTIEdlbmVyYXRpb24gVGltZTogIDAuMjk1ICAgICBzZWMuCnQAJSBUb3RhbCBSUyBUaW1lOiAgICAgICAwLjMwNiAgICAgc2VjLgp0ACUgRmlyaW5ncyBDb3VudCBUaW1lOiAgMC4wOTggICAgIHNlYy4KdAAlIFN0YXRpc3RpY3MgVGltZTogICAgIDAuMDA5ICAgICBzZWMuCnQAJSBUb3RhbCBUaW1lOiAgICAgICAgICAwLjQxNCAgICAgc2VjLgp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnEAfgAkeHNxAH4AAHcEAAAAc3NyABFqYXZhLmxhbmcuQm9vbGVhbs0gcoDVnPruAgABWgAFdmFsdWV4cAFxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHVxAH4AdXEAfgB1cQB+AHV4</document-log>
+  </resource-list>
 </project>
diff --git a/anno3/vpc/gspn/EsE.PNPRO b/anno3/vpc/gspn/EsE.PNPRO
new file mode 100644
index 0000000..311d5d2
--- /dev/null
+++ b/anno3/vpc/gspn/EsE.PNPRO
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="EsE" version="121">
+  <gspn name="CPN" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
+    <nodes/>
+    <edges/>
+  </gspn>
+  <measures gspn-name="CPN" name="Measures" simplified-UI="false">
+    <assignments/>
+    <greatspn/>
+    <formulas>
+      <formula comment="Basic statistics of the toolchain execution." language="STAT"/>
+    </formulas>
+  </measures>
+</project>
diff --git a/anno3/vpc/gspn/es b/anno3/vpc/gspn/es
new file mode 100644
index 0000000..d619504
--- /dev/null
+++ b/anno3/vpc/gspn/es
@@ -0,0 +1,14 @@
+<?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">
+  <gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
+    <nodes/>
+    <edges/>
+  </gspn>
+  <measures gspn-name="PT" name="Measures" simplified-UI="false">
+    <assignments/>
+    <greatspn/>
+    <formulas>
+      <formula comment="Basic statistics of the toolchain execution." language="STAT"/>
+    </formulas>
+  </measures>
+</project>
diff --git a/anno3/vpc/gspn/esE.PNPRO b/anno3/vpc/gspn/esE.PNPRO
new file mode 100644
index 0000000..d619504
--- /dev/null
+++ b/anno3/vpc/gspn/esE.PNPRO
@@ -0,0 +1,14 @@
+<?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">
+  <gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
+    <nodes/>
+    <edges/>
+  </gspn>
+  <measures gspn-name="PT" name="Measures" simplified-UI="false">
+    <assignments/>
+    <greatspn/>
+    <formulas>
+      <formula comment="Basic statistics of the toolchain execution." language="STAT"/>
+    </formulas>
+  </measures>
+</project>