diff --git a/anno3/vpc/consegne/2/2.pn.org b/anno3/vpc/consegne/2/2.pn.org
index 7f0cc90..f8c6948 100644
--- a/anno3/vpc/consegne/2/2.pn.org
+++ b/anno3/vpc/consegne/2/2.pn.org
@@ -64,29 +64,70 @@ analisi; in ordine sono stati applicati:
[[./riduzione/eliminazione1.jpg]]
# [[./riduzione/eliminazione2.jpg]]
[[./riduzione/rimozione1.jpg]]
-** TODO P e T invarianti
+** P e T invarianti
Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
[[./semiflowsAT.jpg]]
[[./semiflowsAP.jpg]]
-Gli P-invarianti sono i seguenti:
+Gli P-semiflussi 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:
+Il T-semiflusso e` il seguente:
\[
Inizio_servizio + azione_locale_sa + azione_locale_sb + \\
Fine_servizio + Reset_s + azione_locale_m + Richiesta_servizio + \\
Attesa_elaborazione + Reset_m + Reset_s
\]
-
+e dato che comprende tutte le transizioni, il sistema rispetta la
+proprieta` di liveness.
Dato che la reteA e` interamente coperta dagli P-semiflussi, possiamo
affermare che la rete sia bounded.
-[ ] Deadlock
-[ ] Liveness
+Gli P-semiflussi ci permettono di ricavare i seguenti invarianti
+lineari relativi ai marking /m/:
+| m[S0] + m[S1ₐ] + m[S2ₐ] + m[S3] = 1
+| m[S0] + m[S1_{b}] + m[S2_{b}] + m[S3] = 1
+| m[M0] + m[M1] + m[M2] + m[M3] = 1
+| m[S1ₐ] + m[S2ₐ] + m[Buffer_output] + m[Buffer_input] + m[M0] + m[M1] + m[M3] = 1
+| m[S1_{b}] + m[S2_{b}] + m[Buffer_output] + m[Buffer_input] + m[M0] + m[M1] + m[M3] = 1
+Dato che ∀p ∈ P, m[p] ≥ 0 possiamo affermare, a partire dalle
+precedenti uguaglianze che:
+- ogni posto nei seguenti insieme e` in mutua esclusione con gli
+ elementi dello stesso insieme:
+ | {S0, S1ₐ, S2ₐ, S3}
+ | {S0, S1_{b}, S2_{b}, S3}
+ | {M0, M1, M2, M3}
+ | {S1ₐ, S2ₐ, Buffer_output, Buffer_input, M0, M1, M3}
+ | {S1_{b}, S2_{b}, Buffer_output, Buffer_input, M0, M1, M3}
+- ∀pᵢ∈P, m[pᵢ]≤1 (bounds)
+- dato che i posti che sono gli unici /enablers/ di una transizione
+ sono i seguenti:
+ | S1ₐ, S1_{b}, S3, M0, M1, M3
+ e quindi possiamo provare a dimostrare l'assenza di deadlock
+ partendo dagli invarianti lineari relativi ai marking:
+ | m[S0] + m[S2ₐ] = 1
+ | m[S0] + m[S2_{b}] = 1
+ | m[M2] = 1
+ | m[S2ₐ] + m[Buffer_output] + m[Buffer_input] = 1
+ | m[S2_{b}] + m[Buffer_output] + m[Buffer_input] = 1
+ Dato che M2 e` marcata, per far si` che /attesa_elaborazione/ non
+ venga abilitata:
+ | m[Buffer_output] = 0
+ Inoltre per far si` che /Inizio_Servizio/ e /Fine_Servizio/ non vengano abilitate:
+ | m[Buffer_input] + M[S0] ≤ 1
+ | m[S2ₐ] + m[S2_{b}] ≤ 1
+ Riassumendo, il sistema e` il seguente:
+ | m[S0] + m[S2ₐ] = 1
+ | m[S0] + m[S2_{b}] = 1
+ | m[S2ₐ] + m[Buffer_input] = 1
+ | m[S2_{b}] + m[Buffer_input] = 1
+ | m[Buffer_input] + M[S0] ≤ 1
+ | m[S2ₐ] + m[S2_{b}] ≤ 1
+ che per la legge di conservazione dei token, non puo` essere
+ soddisfatto. Quindi nel sistema non vi e` la possibilita` di deadlock.
* Rete B
M master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
@@ -137,7 +178,7 @@ 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
+** P e T invarianti
Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
[[./semiflowsBT.jpg]]
@@ -149,7 +190,7 @@ Gli P-invarianti sono i seguenti:
| 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
+| S1_b + S2_b + R1 + R2 + M0 + M1 + M3 + Freechoice + P0 + P1 + Risultato
Gli T-invarianti sono i seguenti:
\[
Inizio_servizio_R + azione_locale_R + \\
@@ -161,11 +202,47 @@ 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 ci sono due semiflussi, ognuno relativo alle transizioni dei
+due diversi slaves, c'e` possibilita` di starvation.
+Possiamo infatti immaginare una traccia di esecuzione in cui il master
+in seguito a FreeChoice sceglie sempre il primo slave.
+Questo non succederebbe in un sistema fair, ovvero se si obbliga
+un'automa che entra in uno stato infinite volte ad eseguire tutte le
+possibili transizioni da quello stato.
+In tal caso non avremmo starvation e la proprieta` di liveness sarebbe rispettata.
Dato che la reteB e` interamente coperta dagli P-semiflussi, possiamo
affermare che la rete sia bounded.
-[ ] Deadlock
-[ ] Liveness
+Dimostriamo invece che la rete non ha possibilita` di deadlock.
+| m[S0] + m[S1_a] + m[S2_a] + m[S3] = 1
+| m[S0] + m[S1_{b}] + m[S2_{b}] + m[S3] = 1
+| m[R0] + m[R1] + m[R2] + m[R3] = 1
+| m[M0] + m[M1] + m[M2] + m[M3] = 1
+| m[S1_a] + m[S2_a] + m[R1] + m[R2] + m[M0] + m[M1] + m[M3] + m[Freechoice] + m[P0] + m[P1] + m[Risultato] = 1
+| m[S1_{b}] + m[S2_{b}] + m[R1] + m[R2] + m[M0] + m[M1] + m[M3] + m[Freechoice] + m[P0] + m[P1] + m[Risultato] = 1
+I posti che sono gli unici enablers di una sola transizione sono:
+| M0, M1, M3, R1, R2, R3, FreeChoice, S1ₐ, S1_{b}, S3
+Gli invarianti lineari dei marking diventano:
+| m[S0] + m[S2_a] = 1
+| m[S0] + m[S2_{b}] = 1
+| m[R0] = 1
+| m[M2] = 1
+| m[S2_a] + m[P0] + m[P1] + m[Risultato] = 1
+| m[S2_{b}] m[P0] + m[P1] + m[Risultato] = 1
+Dati i marking in R0 e M2, per far si` che /Inizio_Servizio_R/,
+/Attesa_Elaborazione/, /Fine_Servizioₛ/ e /Inizio_Servizioₛ/ non vengano abilitati:
+| m[P0] = 0
+| m[Risultato] = 0
+| m[S2ₐ] + m[S2_{b}] ≤ 1
+| m[P1] + m[S0] ≤ 1
+Il sistema si riduce a:
+| m[S0] + m[S2_a]= 1
+| m[S0] + m[S2_{b}] = 1
+| m[S2_a] + m[P1] = 1
+| m[S2_{b}] + m[P1] = 1
+| m[S2ₐ] + m[S2_{b}] ≤ 1
+| m[P1] + m[S0] ≤ 1
+che non puo` essere soddisfatto per la legge di conservazione dei token.
* Rete C
Due master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
@@ -186,7 +263,7 @@ 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
+** P e T invarianti
Tramite GreatSPN possiamo calcolare gli T- e P- semiflussi
[[./semiflowsCT.jpg]]
@@ -202,6 +279,47 @@ Gli P-invarianti sono i seguenti:
Risultato + copy_M0 + copy_M1 + copy_M3
- S1_{b} + S2_{b} + R1 + R2 + M0 + M1 + M3 + Freechoice + P0 + P1 +
Risultato + copy_M0 + copy_M1 + copy_M3
+Dato che la reteC e` interamente coperta dagli P-semiflussi, possiamo
+affermare che la rete sia bounded.
+Gli P-semiflussi ci permettono di ricavare i seguenti invarianti
+lineari relativi ai marking /m/:
+| m[S0] + m[S1ₐ] + m[S2ₐ] + m[S3] = 1
+| m[S0] + m[S1_{b}] + m[S2_{b}] + m[S3] = 1
+| m[R0] + m[R1] + m[R2] + m[R3] = 1
+| m[M0] + m[M1] + m[M2] + m[M3] = 1
+| m[copy_M0] + m[copy_M1] + m[copy_M2] + m[copy_M3] = 1
+\[
+ m[S1ₐ] + m[S2ₐ] + m[R1] + m[R2] + m[M0] + m[M1] + m[M3] + m[Freechoice] + m[P0] + m[P1] +
+ m[Risultato] + m[copy_M0] + m[copy_M1] + m[copy_M3] = 1
+\]
+\[
+ m[S1_{b}] + m[S2_{b}] + m[R1] + m[R2] + m[M0] + m[M1] + m[M3] + m[Freechoice] + m[P0] + m[P1] +
+ m[Risultato] + m[copy_M0] + m[copy_M1] + m[copy_M3] = 1
+\]
+Gli spazi /enablers/ di una sola transizione sono i seguenti:
+| R1, R2, R3, S1ₐ, S1_{b}, S3, Risultato, M0, M1, M3, copy_M0, copy_M1, copy_M3, FreeChoice
+il sistema precedente diventa:
+| m[S0] + m[S2ₐ] = 1
+| m[S0] + m[S2_{b}] = 1
+| m[R0] = 1
+| m[M2] = 1
+| m[copy_M2] = 1
+| m[S2_{b}] + m[P0] + m[P1] = 1
+| m[S2_{a}] + m[P0] + m[P1] = 1
+Dati i marking in R0 e M2 e copy_M2, per far si` che /Inizio_Servizio_R/,
+/Attesa_Elaborazione/, /copy_Attesa_Elaborazione/, /Fine_Servizioₛ/ e /Inizio_Servizioₛ/ non vengano abilitati:
+| m[P0] = 0
+| m[Risultato] = 0
+| m[S2ₐ] + m[S2_{b}] ≤ 1
+| m[P1] + m[S0] ≤ 1
+Il sistema si riduce allo stesso della precedente rete B:
+| m[S0] + m[S2ₐ] = 1
+| m[S0] + m[S2_{b}] = 1
+| m[S2_{b}] + m[P1] = 1
+| m[S2_{a}] + m[P1] = 1
+| m[S2ₐ] + m[S2_{b}] ≤ 1
+| m[P1] + m[S0] ≤ 1
+e non puo` essere soddisfatto per la legge di conservazione dei token.
Gli T-invarianti sono i seguenti:
- Inizio_Servizioᵣ + Azione_Locale + Fine_Servizioᵣ + T3 +
@@ -215,9 +333,8 @@ Gli T-invarianti sono i seguenti:
- Inizio_Servizioₛ + Azione_Locale_{sa} + Azione_Locale_{sb} +
Fine_Servizioₛ + Reset + Scelta₁ + copy_azione_localeₘ +
copy_Richiesta_Servizio + copy_Attesa_Elaborazione + copy_Resetₘ
-
-[ ] Deadlock
-[ ] Liveness
+Come nella rete B, in assenza di fairness non possiamo rispettare la
+condizione di liveness e c'e` possiblita` di starvation.
* Rete D
Due master identici, uno slave di tipo 1 e uno slave di tipo 1 scelti
@@ -241,12 +358,22 @@ Gli P-invarianti sono i seguenti:
- S1_{b} + S2_{b} + M0 + M1 + M3 + Bufferₛ + Risultato
- M0₂ + M1₂ + M3₂
- R1 + R2 + M0₂ + M1₂ + M3₂ + Buffer₂ + Risultato₂
+Ai fini della dimostrazione dell'assenza di deadlock, possiamo notare
+che lo slave di tipo 2 e` equivalente allo slave di tipo 1 se
+si applicano due riduzioni alla rete (vengono fusi in un unico posto
+S1ₐ-S2ₐ e S1_{b}-S2_{b}, poi eliminata la fork).
+Inoltre i master sono indipendenti fra di loro e ciascuno rispetta l'assenza
+di deadlock come gia` dimostrato nella rete A.
Gli T-invarianti sono i seguenti:
- Inizio_Servizioₛ + azione_locale_{sa} + azione_locale_{sb} +
Fine_Servizioₛ + Reset + azione_localeₘ + Richiesta_Servizio +
Attesa_Elaborazione + Resetₘ
- Inizio_Servizioᵣ + Azione_locale + Fine_Servizioᵣ + T3
- azione_locale_{m2} + Richiesta_Servizio₂ + Attesa_Elaborazione₂ + Reset_{m2}
+ azione_locale_{m2} + Richiesta_Servizio₂ + Attesa_Elaborazione₂ +
+ Reset_{m2}
+Come nella rete B, in assenza di fairness non possiamo rispettare la
+condizione di liveness e c'e` possiblita` di starvation.
+
** Decision Diagram
L'efficacia dei decision diagram sulla generazione dello stato degli
spazi dipende fortemente dall'ordine delle variabili.
diff --git a/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.bnd b/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.bnd
index 11fb479..90ce8c1 100644
--- a/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.bnd
+++ b/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.bnd
@@ -1,12 +1,12 @@
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
-0 25
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
diff --git a/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.net b/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.net
index 234ae7e..ca1b006 100644
--- a/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.net
+++ b/anno3/vpc/consegne/2/gspn/Es2-Measures.solution/PT.net
@@ -1,7 +1,8 @@
|0|
|
-f 0 12 0 9 0 0 0
-S0 25 2.6666666666666665 0.8333333333333334 2.6279166666666667 1.0289583333333334 0
+f 1 12 0 9 0 0 0
+n -7134 9.463541666666666 6.265625 0
+S0 -1 2.6666666666666665 0.8333333333333334 2.6279166666666667 1.0289583333333334 0
S1_a 0 1.6666666666666667 2.3333333333333335 1.9716666666666667 2.278958333333333 0
S1_b 0 3.6666666666666665 2.3333333333333335 3.216458333333333 2.278958333333333 0
S2_a 0 1.6666666666666667 3.6666666666666665 1.9716666666666667 3.6122916666666662 0
@@ -9,7 +10,7 @@ S2_b 0 3.6666666666666665 3.6666666666666665 3.1331249999999997 3.61229
S3 0 2.6666666666666665 5.166666666666667 2.6279166666666667 5.362291666666667 0
Buffer_output 0 5.0 4.5 4.570625 4.695625 0
Buffer_input 0 5.0 1.6666666666666667 4.6175 1.8622916666666667 0
-M0 25 7.666666666666667 0.3333333333333333 7.268541666666667 0.11229166666666668 0
+M0 -1 7.666666666666667 0.3333333333333333 7.268541666666667 0.11229166666666668 0
M1 0 7.666666666666667 1.6666666666666667 7.601875 1.8622916666666667 0
M2 0 7.666666666666667 2.5 7.601875 2.195625 0
M3 0 7.666666666666667 4.0 7.351875 4.195625 0
diff --git a/anno3/vpc/consegne/2/gspn/Es2.PNPRO b/anno3/vpc/consegne/2/gspn/Es2.PNPRO
index 5997e4f..1103644 100644
--- a/anno3/vpc/consegne/2/gspn/Es2.PNPRO
+++ b/anno3/vpc/consegne/2/gspn/Es2.PNPRO
@@ -70,13 +70,25 @@
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -92,4 +104,7 @@
+
+ rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAHZ0AKIbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyLU1lYXN1cmVzLnNvbHV0aW9uL1BUIiAtbXBhciBuIDEgLXBiYXNpcyAtZGV0ZWN0LWV4cCAtcHNmbCAtYm5kIAp0AHUbWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQgKG5ldC9kZWYpLi4uG1syMm0bWzI0bQp0AA9NQVJLSU5HIFBBUjogMQp0ABBQTEFDRVM6ICAgICAgMTIKdAAPUkFURSBQQVI6ICAgIDAKdAAPVFJBTlNJVElPTlM6IDkKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAfTUFSS0lORyBQQVJBTUVURVIgIm4iIFNFVCBUTyAxCnQAHkNPTVBVVElORyBQTEFDRSBGTE9XIEJBU0lTLi4uCnQAEU09OSwgTj0xMiwgTjA9MTIKdAA4Q29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogc3RlcCAxLzksIHxLfD0xMCwgcHJvZHVjdHM9MQp0AFMbWzFBICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCnQAUhtbMUFDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBjb21wbGV0ZWQgaW4gOCBzdGVwcywgfEt8PTQuICAgICAgICAgICAgICAgICAgICAgIAp0AEBGT1VORCA0IFZFQ1RPUlMgSU4gVEhFIFBMQUNFIEZMT1cgQkFTSVMgKDMgc2VtaWZsb3dzLCAxIGZsb3dzKS4KdAABCnQAAQp0ACdBbGwgcGxhY2VzIGFyZSBjb3ZlcmVkIGJ5IHNvbWUgUC1mbG93Lgp0AAEKdAAmVE9UQUwgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0ACdBVk9JRCBFWFBPTkVOVElBTCBHUk9XVEggT0YgU0VNSUZMT1dTLgp0AB1DT01QVVRJTkcgUExBQ0UgU0VNSUZMT1dTLi4uCnQAEU09OSwgTj0xMiwgTjA9MTIKdAAqR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IHN0ZXAgMS85LCB8S3w9MTAKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFAbWzFBR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IGNvbXBsZXRlZCBpbiA4IHN0ZXBzLCB8S3w9NS4gICAgICAgICAgICAgICAgICAgICAgCnQAGUZPVU5EIDUgUExBQ0UgU0VNSUZMT1dTLgp0AAEKdAABCnQAK0FsbCBwbGFjZXMgYXJlIGNvdmVyZWQgYnkgc29tZSBQLXNlbWlmbG93Lgp0AAEKdAAmVE9UQUwgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0ACxDT01QVVRJTkcgUExBQ0UgQk9VTkRTIEZST00gUC1TRU1JRkxPV1MgLi4uCnQAJxtbMFgbWzMybSBQUk9DRVNTIEVYSVRFRCBOT1JNQUxMWS4bWzBtCnQAsxtbMG1FWEVDOiBwZXJsIC1lICdhbGFybSA1IDsgZXhlYyAiL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkIFwiL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMi1NZWFzdXJlcy5zb2x1dGlvbi9QVFwiIC1tcGFyIG4gMSAtbG9hZC1ibmQgLWlscC1ibmQiICcKdAB1G1sxbRtbNG1MT0FESU5HIFBFVFJJIE5FVCAvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyLU1lYXN1cmVzLnNvbHV0aW9uL1BUIChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDEKdAAQUExBQ0VTOiAgICAgIDEyCnQAD1JBVEUgUEFSOiAgICAwCnQAD1RSQU5TSVRJT05TOiA5CnQAD01FQVNVUkVTOiAgICAwCnQAKExPQURJTkcgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0AAEKdAABCnQAH01BUktJTkcgUEFSQU1FVEVSICJuIiBTRVQgVE8gMQp0ABVMT0FESU5HIEJORCBGSUxFIC4uLgp0ACVDT01QVVRJTkcgUExBQ0UgQk9VTkRTIFVTSU5HIElMUCAuLi4KdAAYQWxsIHBsYWNlcyBhcmUgYm91bmRlZC4KcQB+ACV0AIobWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vUkdNRUREMyAiL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMi1NZWFzdXJlcy5zb2x1dGlvbi9QVCIgLUdQUyAgLW1wYXIgbiAxIC1ndWktc3RhdAp0ACtPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIG4gdG8gdmFsdWUgMS4KdAAgUmFuZG9tIHNlZWRzOiAxNTkwMDcyODI5IDc3NDI1OAp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAEUdyZWF0U1BOL01lZGRseS4KdAA4ICBDb3B5cmlnaHQgKEMpIDE5ODctMjAxOCwgVW5pdmVyc2l0eSBvZiBUb3Jpbm8sIEl0YWx5Lgp0ADEgIFNlbmQgZmlsZXMgbmV0bmFtZS5uZXQsIC5kZWYgdG8gZS1tYWlsIGFkZHJlc3MKdAArICBiZWNjdXRpQGRpLnVuaXRvLml0IGlmIHlvdSBmaW5kIGFueSBidWcuCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAfQmFzZWQgb24gTUVERExZIHZlcnNpb24gMC4xNi4wCnQARiAgQ29weXJpZ2h0IChDKSAyMDA5LCBJb3dhIFN0YXRlIFVuaXZlcnNpdHkgUmVzZWFyY2ggRm91bmRhdGlvbiwgSW5jLgp0ACkgIHdlYnNpdGU6IGh0dHA6Ly9tZWRkbHkuc291cmNlZm9yZ2UubmV0CnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAApVXNpbmcgcGVyLWV2ZW50IHNhdHVyYXRpb24gKHNhdC1wcmVnZW4pLgp0ABtVc2luZyBmYXN0IE5TRiBnZW5lcmF0aW9uLgp0ABJQcm9jZXNzIElEOiAxOTM1Ngp0AFBNT0RFTCBOQU1FOiAvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyLU1lYXN1cmVzLnNvbHV0aW9uL1BUCnQAHCAgMTIgcGxhY2VzLCA5IHRyYW5zaXRpb25zLgp0ACdVc2VkIE1lbW9yeSBmb3IgZW5jb2RpbmcgbmV0OiAzNjE1NjhLQgp0AFpPcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQuYm5kIE9LLgp0AF1PcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczItTWVhc3VyZXMuc29sdXRpb24vUFQuaWxwYm5kIE9LLgp0ABBJTlBVVCBBUkNTOiAgMTIKdAAQT1VUUFVUIEFSQ1M6IDEyCnQAD0lOSElCIEFSQ1M6ICAwCnQAD1RFU1QgQVJDUzogICAwCnQAEFBMQUNFUzogICAgICAxMgp0AA9UUkFOU0lUSU9OUzogOQp0AA9JTlZBUklBTlRTOiAgNAp0AA9QLVNFTUlGTE9XUzogNQp0ABZNQVggSU5WQVJJQU5UIENBUkQ6IDEKdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gVkFSSUFCTEUgT1JERVIgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAA5VmFyaWFibGUgb3JkZXIgbWV0aG9kOiBWQ0wgR2liYnMtUG9vbGUtU3RvY2tNZXllciBtZXRob2QKdAAmVGltZSB0byBjb21wdXRlIHZhcmlhYmxlIG9yZGVyOiA3ZS0wNQp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBTVEFSVCBGSVJJTkcgUlVMRVMgRU5DT0RJTkcgPT09PT09PT09PT09PT09PT09PT09PT09PQp0ACtFbmNvZGVkIDkgdHJhbnNpdGlvbiBpbiAxIHByaW9yaXR5IGdyb3Vwcy4KdAAhVGltZSB0byBidWlsZCBhbGwgTlNGczogMC4wMDA0NTUKdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT0gUkVBQ0hBQklMSVRZIFNFVCBHRU5FUkFUSU9OID09PT09PT09PT09PT09PT09PT09PT09PT0KdAAVU3BsaXQ6IFNwbGl0U3VidHJhY3QKdAAdUlMgZ2VuZXJhdGlvbiB0aW1lOiAwLjAwMDE0Mgp0AB1Db21wdXRpbmcgdmFyaWFibGUgYm91bmRzLi4uCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PSBNRU1PUlkgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAKiBDYXJkaW5hbGl0eShSUyk6ICAgICAgICAgMTQgICAgICAgICAgICAgCnQAKiAjIGZpcmVkIHRyYW5zaXRpb25zOiAgICAgMTkgICAgICAgICAgICAgCnQAKiBNYXggdG9rZW5zIGluIHBsYWNlOiAgICAgMSAgICAgICAgICAgICAgCnQAKiBNYXggdG9rZW5zIHggbWFya2luZzogICAgMyAgICAgICAgICAgICAgCnQAHSBSUyBub2RlczogICAgICAgICAgICAgICAgMjkKdAAdIFJTIGVkZ2VzOiAgICAgICAgICAgICAgICAzOAp0AD4gRm9yZXN0KFJTKSBub2RlczogICAgICAgIDQ3IGFjdGl2ZXMsIDQ4IHBlYWssIDAgY29tcGFjdGlvbnMuCnQAOyBGb3Jlc3QoUlMpIHNpemU6ICAgICAgICAgMTE0OSBCeXRlcyBub3csIDExNzIgQnl0ZXMgcGVhay4KdABAIE14RCBub2RlczogICAgICAgICAgICAgICAxNzMgYWN0aXZlcywgMTg4IHBlYWssIDAgY29tcGFjdGlvbnMuCnQAOyBNeEQgc2l6ZTogICAgICAgICAgICAgICAgNDgyNyBCeXRlcyBub3csIDUyNzIgQnl0ZXMgcGVhay4KdAApIFRvdGFsIE1lbW9yeSBVc2VkOiAgICAgICAzNjE1NjggS0J5dGVzLgp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IFRJTUUgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ACUgVmFyaWFibGUgb3JkZXIgVGltZTogMC4wMDAgICAgIHNlYy4KdAAlIE5TRiBnZW4uIFRpbWU6ICAgICAgIDAuMDAwICAgICBzZWMuCnQAJSBSUyBHZW5lcmF0aW9uIFRpbWU6ICAwLjAwMCAgICAgc2VjLgp0ACUgVG90YWwgUlMgVGltZTogICAgICAgMC4wMDEgICAgIHNlYy4KdAAlIEZpcmluZ3MgQ291bnQgVGltZTogIDAuMDAwICAgICBzZWMuCnQAJSBTdGF0aXN0aWNzIFRpbWU6ICAgICAwLjAwMCAgICAgc2VjLgp0ACUgVG90YWwgVGltZTogICAgICAgICAgMC4wMDEgICAgIHNlYy4KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQpxAH4AJXhzcQB+AAB3BAAAAHZzcgARamF2YS5sYW5nLkJvb2xlYW7NIHKA1Zz67gIAAVoABXZhbHVleHABcQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4cQB+AHhxAH4AeHEAfgB4eA
+
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.bnd b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.bnd
new file mode 100644
index 0000000..133615c
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.bnd
@@ -0,0 +1,18 @@
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 1
+0 2
+0 2
+0 2
+0 2
+0 2
+0 2
+0 2
+0 2
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ctl b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ctl
new file mode 100644
index 0000000..9548ed2
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ctl
@@ -0,0 +1,2 @@
+% MEASURE0
+AF(#S1_a == 1)
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.def b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.def
new file mode 100644
index 0000000..f9eee66
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.def
@@ -0,0 +1,3 @@
+|256
+%
+|
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ilpbnd b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ilpbnd
new file mode 100644
index 0000000..aa47d0d
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.ilpbnd
@@ -0,0 +1,2 @@
+0
+0
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.net b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.net
new file mode 100644
index 0000000..70f1485
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.net
@@ -0,0 +1,130 @@
+|0|
+|
+f 3 18 0 15 0 0 0
+n -7134 11.296875 6.432291666666667 0
+r1 -7134 12.145833333333334 6.432291666666667 0
+r2 -7134 12.8125 6.432291666666667 0
+S0 -2 3.0 1.1666666666666667 2.9612499999999997 1.3622916666666667 0
+S1_a 0 2.0 2.6666666666666665 2.305 2.6122916666666667 0
+S1_b 0 4.0 2.6666666666666665 3.5497916666666662 2.6122916666666667 0
+S2_a 0 2.0 4.0 2.305 3.9456249999999997 0
+S2_b 0 4.0 4.0 3.466458333333333 3.9456249999999997 0
+S3 0 3.0 5.5 2.9612499999999997 5.695625 0
+R0 -3 6.5 1.1666666666666667 6.450833333333333 1.3622916666666667 0
+R1 0 6.5 2.6666666666666665 6.450833333333333 2.8622916666666662 0
+R2 0 6.5 4.0 6.450833333333333 4.195625 0
+R3 0 6.5 5.5 6.450833333333333 5.695625 0
+M0 -1 12.0 1.1666666666666667 11.601875 0.945625 0
+M1 0 12.0 2.5 11.935208333333334 2.6956249999999997 0
+M2 0 12.0 3.3333333333333335 11.935208333333334 3.028958333333333 0
+M3 0 12.0 4.833333333333333 11.685208333333334 5.028958333333333 0
+Freechoice 0 9.666666666666666 2.5 9.362291666666666 2.6956249999999997 0
+P0 0 7.833333333333333 1.6666666666666667 7.789375 1.8622916666666667 0
+P1 0 7.833333333333333 0.6666666666666666 7.789375 0.8622916666666667 0
+Risultato 0 9.666666666666666 4.333333333333333 8.89875 4.278958333333333 0
+Inizio_Servizio_s 1.0 0 0 2 0 3.0 2.0 1.6666666666666667 2.0572916666666665 3.0833333333333335 2.0677083333333335 0
+ 1 1 0 0
+ 1 17 2 0
+3.9166666666666665 2.0
+3.9166666666666665 0.6666666666666666
+ 2
+ 1 2 0 0
+ 1 3 0 0
+ 0
+azione_locale_sa 1.0 0 0 1 0 2.0 3.3333333333333335 2.1875 3.140625 2.0833333333333335 3.4010416666666665 0
+ 1 2 0 0
+ 1
+ 1 4 0 0
+ 0
+azione_locale_sb 1.0 0 0 1 0 4.0 3.3333333333333335 2.859375 3.640625 4.083333333333333 3.4010416666666665 0
+ 1 3 0 0
+ 1
+ 1 5 0 0
+ 0
+Fine_Servizio_s 1.0 0 0 2 0 3.0 4.833333333333333 1.8697916666666667 4.890625 3.0833333333333335 4.901041666666667 0
+ 1 4 0 0
+ 1 5 0 0
+ 2
+ 1 6 0 0
+ 1 18 4 0
+4.166666666666667 4.833333333333333
+4.166666666666667 6.333333333333333
+9.583333333333334 6.333333333333333
+9.666666666666666 6.333333333333333
+ 0
+Reset_S 1.0 0 0 1 1 1.5 5.5 1.3020833333333333 5.307291666666667 1.5833333333333333 5.567708333333333 0
+ 1 6 0 0
+ 1
+ 1 1 2 0
+1.5 4.833333333333333
+1.5 1.1666666666666667
+ 0
+Inizio_Servizio_R 1.0 0 0 2 0 6.5 2.0 6.734375 2.2239583333333335 6.583333333333333 2.0677083333333335 0
+ 1 7 0 0
+ 1 16 2 0
+7.083333333333333 2.0
+7.083333333333333 1.6666666666666667
+ 1
+ 1 8 0 0
+ 0
+Azione_locale_R 1.0 0 0 1 0 6.5 3.3333333333333335 6.609375 3.640625 6.583333333333333 3.4010416666666665 0
+ 1 8 0 0
+ 1
+ 1 9 0 0
+ 0
+Fine_Servizio_R 1.0 0 0 1 0 6.5 4.833333333333333 6.604166666666667 5.140625 6.583333333333333 4.901041666666667 0
+ 1 9 0 0
+ 2
+ 1 10 0 0
+ 1 18 3 0
+8.0 4.833333333333333
+8.0 6.333333333333333
+9.666666666666666 6.333333333333333
+ 0
+Reset_R 1.0 0 0 1 1 5.333333333333333 5.5 5.125 5.307291666666667 5.416666666666667 5.567708333333333 0
+ 1 10 0 0
+ 1
+ 1 7 1 0
+5.333333333333333 1.1666666666666667
+ 0
+azione_locale_m 1.0 0 0 1 1 12.0 1.8333333333333333 11.53125 1.5572916666666667 12.083333333333334 1.9010416666666667 0
+ 1 11 2 0
+11.416666666666666 1.8333333333333333
+11.416666666666666 1.1666666666666667
+ 1
+ 1 12 2 0
+12.583333333333334 1.8333333333333333
+12.583333333333334 2.5
+ 0
+Richiesta_Servizio 1.0 0 0 1 1 11.166666666666666 2.5 10.625 2.3072916666666665 11.25 2.5677083333333335 0
+ 1 12 0 0
+ 2
+ 1 13 1 0
+11.166666666666666 3.3333333333333335
+ 1 15 0 0
+ 0
+Attesa_Elaborazione 1.0 0 0 2 0 12.0 4.333333333333333 10.5625 4.140625 12.083333333333334 4.401041666666667 0
+ 1 13 0 0
+ 1 18 0 0
+ 1
+ 1 14 0 0
+ 0
+Reset_M 1.0 0 0 1 0 13.0 3.3333333333333335 12.776041666666666 3.140625 13.083333333333334 3.4010416666666665 0
+ 1 14 1 0
+13.0 4.833333333333333
+ 1
+ 1 11 1 0
+13.0 1.1666666666666667
+ 0
+Scelta_1 1.0 0 0 1 1 8.333333333333334 0.6666666666666666 8.135416666666666 0.4739583333333333 8.416666666666666 0.734375 0
+ 1 15 1 0
+9.666666666666666 0.6666666666666666
+ 1
+ 1 17 0 0
+ 0
+Scelta_2 1.0 0 0 1 1 8.333333333333334 1.6666666666666667 8.135416666666666 1.4739583333333333 8.416666666666666 1.734375 0
+ 1 15 1 0
+9.666666666666666 1.6666666666666667
+ 1
+ 1 16 0 0
+ 0
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pba b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pba
new file mode 100644
index 0000000..c3c7134
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pba
@@ -0,0 +1,7 @@
+5
+4 1 7 1 8 1 9 1 10
+4 1 11 1 12 1 13 1 14
+11 1 1 1 6 -1 8 -1 9 -1 11 -1 12 -1 14 -1 15 -1 16 -1 17 -1 18
+11 1 3 1 5 1 8 1 9 1 11 1 12 1 14 1 15 1 16 1 17 1 18
+11 1 2 1 4 1 8 1 9 1 11 1 12 1 14 1 15 1 16 1 17 1 18
+0
diff --git a/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pin b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pin
new file mode 100644
index 0000000..fe8e732
--- /dev/null
+++ b/anno3/vpc/consegne/2/gspn/Es2B-CTL model checking of PT.solution/PT.pin
@@ -0,0 +1,8 @@
+6
+11 1 3 1 5 1 8 1 9 1 11 1 12 1 14 1 15 1 16 1 17 1 18
+4 1 1 1 3 1 5 1 6
+11 1 2 1 4 1 8 1 9 1 11 1 12 1 14 1 15 1 16 1 17 1 18
+4 1 1 1 2 1 4 1 6
+4 1 11 1 12 1 13 1 14
+4 1 7 1 8 1 9 1 10
+0
diff --git a/anno3/vpc/consegne/2/gspn/Es2B.PNPRO b/anno3/vpc/consegne/2/gspn/Es2B.PNPRO
index fccd9e9..a77d380 100644
--- a/anno3/vpc/consegne/2/gspn/Es2B.PNPRO
+++ b/anno3/vpc/consegne/2/gspn/Es2B.PNPRO
@@ -1,6 +1,6 @@
-
+
@@ -127,4 +127,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAKZ0AMkbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQi1DVEwgbW9kZWwgY2hlY2tpbmcgb2YgUFQuc29sdXRpb24vUFQiIC1tcGFyIG4gMiAtbXBhciByMSAxIC1tcGFyIHIyIDEgLXBiYXNpcyAtZGV0ZWN0LWV4cCAtcHNmbCAtYm5kIAp0AIYbWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJCLUNUTCBtb2RlbCBjaGVja2luZyBvZiBQVC5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAzCnQAEFBMQUNFUzogICAgICAxOAp0AA9SQVRFIFBBUjogICAgMAp0ABBUUkFOU0lUSU9OUzogMTUKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAfTUFSS0lORyBQQVJBTUVURVIgIm4iIFNFVCBUTyAyCnQAIE1BUktJTkcgUEFSQU1FVEVSICJyMSIgU0VUIFRPIDEKdAAgTUFSS0lORyBQQVJBTUVURVIgInIyIiBTRVQgVE8gMQp0AB5DT01QVVRJTkcgUExBQ0UgRkxPVyBCQVNJUy4uLgp0ABJNPTE1LCBOPTE4LCBOMD0xOAp0ADlDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBzdGVwIDEvMTUsIHxLfD0xNiwgcHJvZHVjdHM9MQp0AFMbWzFBICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCnQAUxtbMUFDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBjb21wbGV0ZWQgaW4gMTMgc3RlcHMsIHxLfD01LiAgICAgICAgICAgICAgICAgICAgICAKdABARk9VTkQgNSBWRUNUT1JTIElOIFRIRSBQTEFDRSBGTE9XIEJBU0lTICg0IHNlbWlmbG93cywgMSBmbG93cykuCnQAAQp0AAEKdAAnQWxsIHBsYWNlcyBhcmUgY292ZXJlZCBieSBzb21lIFAtZmxvdy4KdAABCnQAJlRPVEFMIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAAnQVZPSUQgRVhQT05FTlRJQUwgR1JPV1RIIE9GIFNFTUlGTE9XUy4KdAAdQ09NUFVUSU5HIFBMQUNFIFNFTUlGTE9XUy4uLgp0ABJNPTE1LCBOPTE4LCBOMD0xOAp0ACtHZW5lcmF0aW9uIG9mIFNlbWlmbG93czogc3RlcCAxLzE1LCB8S3w9MTYKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFEbWzFBR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IGNvbXBsZXRlZCBpbiAxMyBzdGVwcywgfEt8PTYuICAgICAgICAgICAgICAgICAgICAgIAp0ABlGT1VORCA2IFBMQUNFIFNFTUlGTE9XUy4KdAABCnQAAQp0ACtBbGwgcGxhY2VzIGFyZSBjb3ZlcmVkIGJ5IHNvbWUgUC1zZW1pZmxvdy4KdAABCnQAJlRPVEFMIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAAsQ09NUFVUSU5HIFBMQUNFIEJPVU5EUyBGUk9NIFAtU0VNSUZMT1dTIC4uLgp0ACcbWzBYG1szMm0gUFJPQ0VTUyBFWElURUQgTk9STUFMTFkuG1swbQp0ANobWzBtRVhFQzogcGVybCAtZSAnYWxhcm0gNSA7IGV4ZWMgIi91c3IvbG9jYWwvR3JlYXRTUE4vYmluL0RTUE4tVG9vbCAtbG9hZCBcIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJCLUNUTCBtb2RlbCBjaGVja2luZyBvZiBQVC5zb2x1dGlvbi9QVFwiIC1tcGFyIG4gMiAtbXBhciByMSAxIC1tcGFyIHIyIDEgLWxvYWQtYm5kIC1pbHAtYm5kIiAnCnQAhhtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMkItQ1RMIG1vZGVsIGNoZWNraW5nIG9mIFBULnNvbHV0aW9uL1BUIChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDMKdAAQUExBQ0VTOiAgICAgIDE4CnQAD1JBVEUgUEFSOiAgICAwCnQAEFRSQU5TSVRJT05TOiAxNQp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0AB9NQVJLSU5HIFBBUkFNRVRFUiAibiIgU0VUIFRPIDIKdAAgTUFSS0lORyBQQVJBTUVURVIgInIxIiBTRVQgVE8gMQp0ACBNQVJLSU5HIFBBUkFNRVRFUiAicjIiIFNFVCBUTyAxCnQAFUxPQURJTkcgQk5EIEZJTEUgLi4uCnQAJUNPTVBVVElORyBQTEFDRSBCT1VORFMgVVNJTkcgSUxQIC4uLgp0ABhBbGwgcGxhY2VzIGFyZSBib3VuZGVkLgpxAH4AJ3QAqxtbMG1FWEVDOiAvdXNyL2xvY2FsL0dyZWF0U1BOL2Jpbi9SR01FREQzICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQi1DVEwgbW9kZWwgY2hlY2tpbmcgb2YgUFQuc29sdXRpb24vUFQiIC1NRVRBICAtbXBhciBuIDIgLW1wYXIgcjEgMSAtbXBhciByMiAxIC1DCnQAK092ZXJyaWRpbmcgbWFya2luZyBwYXJhbWV0ZXIgbiB0byB2YWx1ZSAyLgp0ACxPdmVycmlkaW5nIG1hcmtpbmcgcGFyYW1ldGVyIHIxIHRvIHZhbHVlIDEuCnQALE92ZXJyaWRpbmcgbWFya2luZyBwYXJhbWV0ZXIgcjIgdG8gdmFsdWUgMS4KdAAgUmFuZG9tIHNlZWRzOiAxNTkwMDY5NDQ0IDM5MzgwMgp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAEUdyZWF0U1BOL01lZGRseS4KdAA4ICBDb3B5cmlnaHQgKEMpIDE5ODctMjAxOCwgVW5pdmVyc2l0eSBvZiBUb3Jpbm8sIEl0YWx5Lgp0ADEgIFNlbmQgZmlsZXMgbmV0bmFtZS5uZXQsIC5kZWYgdG8gZS1tYWlsIGFkZHJlc3MKdAArICBiZWNjdXRpQGRpLnVuaXRvLml0IGlmIHlvdSBmaW5kIGFueSBidWcuCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAfQmFzZWQgb24gTUVERExZIHZlcnNpb24gMC4xNi4wCnQARiAgQ29weXJpZ2h0IChDKSAyMDA5LCBJb3dhIFN0YXRlIFVuaXZlcnNpdHkgUmVzZWFyY2ggRm91bmRhdGlvbiwgSW5jLgp0ACkgIHdlYnNpdGU6IGh0dHA6Ly9tZWRkbHkuc291cmNlZm9yZ2UubmV0CnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAApVXNpbmcgcGVyLWV2ZW50IHNhdHVyYXRpb24gKHNhdC1wcmVnZW4pLgp0ABtVc2luZyBmYXN0IE5TRiBnZW5lcmF0aW9uLgp0ABJQcm9jZXNzIElEOiAxNTk2OQp0AGFNT0RFTCBOQU1FOiAvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQi1DVEwgbW9kZWwgY2hlY2tpbmcgb2YgUFQuc29sdXRpb24vUFQKdAAdICAxOCBwbGFjZXMsIDE1IHRyYW5zaXRpb25zLgp0ACdVc2VkIE1lbW9yeSBmb3IgZW5jb2RpbmcgbmV0OiAyOTgwOTZLQgp0AGtPcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJCLUNUTCBtb2RlbCBjaGVja2luZyBvZiBQVC5zb2x1dGlvbi9QVC5ibmQgT0suCnQAbk9wZW5pbmcgZmlsZTogL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMkItQ1RMIG1vZGVsIGNoZWNraW5nIG9mIFBULnNvbHV0aW9uL1BULmlscGJuZCBPSy4KdAAQSU5QVVQgQVJDUzogIDE5CnQAEE9VVFBVVCBBUkNTOiAxOQp0AA9JTkhJQiBBUkNTOiAgMAp0AA9URVNUIEFSQ1M6ICAgMAp0ABBQTEFDRVM6ICAgICAgMTgKdAAQVFJBTlNJVElPTlM6IDE1CnQAD0lOVkFSSUFOVFM6ICA1CnQAD1AtU0VNSUZMT1dTOiA2CnQAFk1BWCBJTlZBUklBTlQgQ0FSRDogMQp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PSBWQVJJQUJMRSBPUkRFUiA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ADxWYXJpYWJsZSBvcmRlciBtZXRob2Q6IE1ldGEtaGV1cmlzdGljIHVzaW5nIHdlaWdodGVkIHNjb3JlLgp0AFEgIE1FVEhPRCAgICAgICAgICAgICAgU0NPUkUgICAgICAgIFNXSVIgICAgICAgU09VUFMgRElTQ09VTlQgIFdFSUdIVCAgICAgICBUSU1FIAp0AFUgIFNMTyAgICAgICAgICAgICAgIDEwOS45NTYgICAgICAgICAgOTggICAgICAgICAgNjQgICAgICAgIDEgICAxLjEyMiAgIDAuMDAwMTEzIHNlYy4KdABVICBTTE8rRm9yY2UgICAgICAgICAgIDczLjA0ICAgICAgICAgIDgzICAgICAgICAgIDYwICAgICAgICAxICAgIDAuODggICAgNi4yZS0wNSBzZWMuCnQAVSAgU0xPLTE2ICAgICAgICAgICAgIDc4LjIwNCAgICAgICAgICA5OCAgICAgICAgICA2NCAgICAgICAgMSAgIDAuNzk4ICAgIDcuN2UtMDUgc2VjLgp0AFUgIFNMTy0xNitGb3JjZSAgICAgICA3NS42MTMgICAgICAgICAgODMgICAgICAgICAgNjAgICAgICAgIDEgICAwLjkxMSAgICA1LjRlLTA1IHNlYy4KdABVICBUT1YyICAgICAgICAgICAgICAgODguMTczICAgICAgICAgIDk3ICAgICAgICAgIDY3ICAgICAgICAxICAgMC45MDkgICAgMy45ZS0wNSBzZWMuCnQAVSAgVE9WMitGb3JjZSAgICAgICAgMTEyLjMyNiAgICAgICAgICA5NyAgICAgICAgICA2NCAgICAgICAgMSAgIDEuMTU4ICAgIDYuNmUtMDUgc2VjLgp0AFUgIE5PQUNLMiAgICAgICAgICAgIDExNS4zNjIgICAgICAgICAxMDIgICAgICAgICAgNjggICAgICAgIDEgICAxLjEzMSAgICAzLjRlLTA1IHNlYy4KdABVICBOT0FDSzIrRm9yY2UgICAgICAgIDk1LjA2ICAgICAgICAgIDk3ICAgICAgICAgIDY0ICAgICAgICAxICAgIDAuOTggICAgNC42ZS0wNSBzZWMuCnQAVSAgQUNNICAgICAgICAgICAgICAgMTYzLjc4MiAgICAgICAgIDE2MiAgICAgICAgICA3NiAgICAgICAgMSAgIDEuMDExICAgIDYuOGUtMDUgc2VjLgp0AFUgIEFDTStGb3JjZSAgICAgICAgIDEyNS4yNDQgICAgICAgICAgOTggICAgICAgICAgNjUgICAgICAgIDEgICAxLjI3OCAgICAgIDdlLTA1IHNlYy4KdABVICBDTTIgICAgICAgICAgICAgICAzMjIuNTc1ICAgICAgICAgMjUzICAgICAgICAgIDkzICAgICAgICAxICAgMS4yNzUgICAgMy4xZS0wNSBzZWMuCnQAVSAgQ00yK0ZvcmNlICAgICAgICAgMTI1LjI4NiAgICAgICAgIDExNCAgICAgICAgICA3MCAgICAgICAgMSAgIDEuMDk5ICAgIDUuMWUtMDUgc2VjLgp0AFUgIFAgICAgICAgICAgICAgICAgIDE0MC41NjYgICAgICAgICAxMzQgICAgICAgICAgNzMgICAgICAgIDEgICAxLjA0OSAgICAgIDNlLTA1IHNlYy4KdABVICBHUCAgICAgICAgICAgICAgICAgOTguODU1ICAgICAgICAgIDg1ICAgICAgICAgIDYyICAgICAgICAxICAgMS4xNjMgICAgICA4ZS0wNSBzZWMuCnQAVSAgR1ArRm9yY2UgICAgICAgICAgICA5Ni43NSAgICAgICAgICA4NiAgICAgICAgICA2MyAgICAgICAgMSAgIDEuMTI1ICAgIDUuNWUtMDUgc2VjLgp0AD1NZXRhLWhldXJpc3RpYzogc2VsZWN0aW5nIG1ldGhvZCBTTE8rRm9yY2Ugd2l0aCBzY29yZTogNzMuMDQKdAApVGltZSB0byBjb21wdXRlIHZhcmlhYmxlIG9yZGVyOiAwLjAwMTMwNgp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBTVEFSVCBGSVJJTkcgUlVMRVMgRU5DT0RJTkcgPT09PT09PT09PT09PT09PT09PT09PT09PQp0ACxFbmNvZGVkIDE1IHRyYW5zaXRpb24gaW4gMSBwcmlvcml0eSBncm91cHMuCnQAIVRpbWUgdG8gYnVpbGQgYWxsIE5TRnM6IDAuMDAwODk5CnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09IFJFQUNIQUJJTElUWSBTRVQgR0VORVJBVElPTiA9PT09PT09PT09PT09PT09PT09PT09PT09CnQAFVNwbGl0OiBTcGxpdFN1YnRyYWN0CnQAHVJTIGdlbmVyYXRpb24gdGltZTogMC4wMDAzMzIKdAAdQ29tcHV0aW5nIHZhcmlhYmxlIGJvdW5kcy4uLgp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gTUVNT1JZID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ACkgVG90YWwgTWVtb3J5IFVzZWQ6ICAgICAgIDI5ODA5NiBLQnl0ZXMuCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IENUTCBFVkFMVUFUSU9OID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAAQp0ADFQcm9jZXNzaW5nOiAobm90IEUgRyAobm90IChTMV9hID0gMSkpKSAgLT4gIGJvb2wKdAALRXZhbDogUzFfYQp0ABQgICAgICAwLjAwMDAyNiBzZWMuCnQAEUV2YWw6IChTMV9hID0gMSkKdAAfICAgICAgMC4wMDAwMjYgc2VjLiAgY2FyZCA9IDMyCnQAF0V2YWw6IChub3QgKFMxX2EgPSAxKSkKdAAgICAgICAgMC4wMDAwMTEgc2VjLiAgY2FyZCA9IDE3Mgp0ABtFdmFsOiBFIEcgKG5vdCAoUzFfYSA9IDEpKQp0ACFFRzogc3RlcD0xLCAgU0FUIHNpemU9MTcxLjAwMDAwMAp0ACFFRzogc3RlcD0yLCAgU0FUIHNpemU9MTY5LjAwMDAwMAp0ACFFRzogc3RlcD0zLCAgU0FUIHNpemU9MTY4LjAwMDAwMAp0ACFFRzogc3RlcD00LCAgU0FUIHNpemU9MTY4LjAwMDAwMAp0ABpSMiA9IDE5NiBpbiA0IGl0ZXJhdGlvbnMuCnQAICAgICAgIDAuMDAwNDU1IHNlYy4gIGNhcmQgPSAxNjgKdAAhRXZhbDogKG5vdCBFIEcgKG5vdCAoUzFfYSA9IDEpKSkKdAAfICAgICAgMC4wMDAwMTUgc2VjLiAgY2FyZCA9IDM2CnQAFy0tLSBBRigjUzFfYSA9PSAxKSAtLS0KdAAZRm9ybXVsYSBuYW1lOiBNRUFTVVJFMCAgCnQAFglFdmFsdWF0aW9uOiBmYWxzZSAgIAp0ACcJU2F0LXNldCBnZW5lcmF0aW9uIHRpbWU6IDAuMDAwNjA4IHNlYwp0AB8JRXZhbHVhdGlvbiB0aW1lOiAwLjAwMDYxNCBzZWMKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IENUTCBNRU1PUlkgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AB0gUlMgbm9kZXM6ICAgICAgICAgICAgICAgIDU0CnQAQCBGb3Jlc3QoUlMpIG5vZGVzOiAgICAgICAgMjA0IGFjdGl2ZXMsIDIwNCBwZWFrLCAwIGNvbXBhY3Rpb25zLgp0ADsgRm9yZXN0KFJTKSBzaXplOiAgICAgICAgIDUyMDAgQnl0ZXMgbm93LCA1MjAwIEJ5dGVzIHBlYWsuCnQAHiBQb3RlbnRpYWwgUkcgbm9kZXM6ICAgICAgMTA3CnQAQCBGb3Jlc3QoUkcpIG5vZGVzOiAgICAgICAgNDI5IGFjdGl2ZXMsIDQ3OCBwZWFrLCAwIGNvbXBhY3Rpb25zLgp0AD0gRm9yZXN0KFJHKSBzaXplOiAgICAgICAgIDEyNTk1IEJ5dGVzIG5vdywgMTQwNTAgQnl0ZXMgcGVhay4KdAA8IEZvcmVzdChSRytyZWFsKSBub2RlczogICAxIGFjdGl2ZXMsIDEgcGVhaywgMCBjb21wYWN0aW9ucy4KdAA3IEZvcmVzdChSRytyZWFsKSBzaXplOiAgICAyNyBCeXRlcyBub3csIDI3IEJ5dGVzIHBlYWsuCnQAAQp0AARPay4KdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PSBUSU1FID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAlIFZhcmlhYmxlIG9yZGVyIFRpbWU6IDAuMDAyICAgICBzZWMuCnQAJSBOU0YgZ2VuLiBUaW1lOiAgICAgICAwLjAwMSAgICAgc2VjLgp0ACUgUlMgR2VuZXJhdGlvbiBUaW1lOiAgMC4wMDAgICAgIHNlYy4KdAAlIFRvdGFsIFJTIFRpbWU6ICAgICAgIDAuMDAxICAgICBzZWMuCnQAJSBTdGF0aXN0aWNzIFRpbWU6ICAgICAwLjAwMCAgICAgc2VjLgp0ACUgQ1RMIFRpbWU6ICAgICAgICAgICAgMC4wMDEgICAgIHNlYy4KdAAlIFRvdGFsIFRpbWU6ICAgICAgICAgIDAuMDA0ICAgICBzZWMuCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KcQB+ACd4c3EAfgAAdwQAAACmc3IAEWphdmEubGFuZy5Cb29sZWFuzSBygNWc+u4CAAFaAAV2YWx1ZXhwAXEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHEAfgCocQB+AKhxAH4AqHg
+
diff --git a/anno3/vpc/consegne/2/gspn/Es2C-Measures.solution/PT.net b/anno3/vpc/consegne/2/gspn/Es2C-Measures.solution/PT.net
index bbadd0a..b40e04f 100644
--- a/anno3/vpc/consegne/2/gspn/Es2C-Measures.solution/PT.net
+++ b/anno3/vpc/consegne/2/gspn/Es2C-Measures.solution/PT.net
@@ -1,169 +1,169 @@
|0|
|
f 0 22 0 19 0 0 0
-S0 1 3.3333333333333335 1.5 3.294583333333333 1.695625 0
-S1_a 0 2.3333333333333335 3.0 2.638333333333333 2.9456249999999997 0
-S1_b 0 4.333333333333333 3.0 3.8831249999999997 2.9456249999999997 0
-S2_a 0 2.3333333333333335 4.333333333333333 2.638333333333333 4.278958333333333 0
-S2_b 0 4.333333333333333 4.333333333333333 3.7997916666666662 4.278958333333333 0
-S3 0 3.3333333333333335 5.833333333333333 3.294583333333333 6.028958333333333 0
-R0 1 6.833333333333333 1.5 6.784166666666667 1.695625 0
-R1 0 6.833333333333333 3.0 6.784166666666667 3.1956249999999997 0
-R2 0 6.833333333333333 4.333333333333333 6.784166666666667 4.528958333333333 0
-R3 0 6.833333333333333 5.833333333333333 6.784166666666667 6.028958333333333 0
-M0 1 13.166666666666666 1.5 12.768541666666666 1.2789583333333334 0
-M1 0 13.166666666666666 2.8333333333333335 13.101875 3.028958333333333 0
-M2 0 13.166666666666666 3.6666666666666665 13.101875 3.3622916666666662 0
-M3 0 13.166666666666666 5.166666666666667 12.851875 5.362291666666667 0
-Freechoice 0 10.0 0.16666666666666666 9.695625 0.3622916666666667 0
-P0 0 8.166666666666666 2.0 8.122708333333334 2.195625 0
-P1 0 8.166666666666666 1.0 8.122708333333334 1.195625 0
-Risultato 0 10.5 6.666666666666667 9.64875 6.362291666666667 0
-copy_M0 1 16.5 1.5 15.919583333333334 1.2789583333333334 0
-copy_M1 0 16.5 2.8333333333333335 16.252916666666668 3.028958333333333 0
-copy_M2 0 16.5 3.6666666666666665 16.252916666666668 3.3622916666666662 0
-copy_M3 0 16.5 5.166666666666667 16.002916666666668 5.362291666666667 0
-Inizio_Servizio_s 1.0 0 0 2 0 3.3333333333333335 2.3333333333333335 2.0 2.390625 3.4166666666666665 2.4010416666666665 0
+S0 1 4.0 2.3333333333333335 3.9612499999999997 2.528958333333333 0
+S1_a 0 3.0 3.8333333333333335 3.3049999999999997 3.778958333333333 0
+S1_b 0 5.0 3.8333333333333335 4.549791666666667 3.778958333333333 0
+S2_a 0 3.0 5.166666666666667 3.3049999999999997 5.112291666666667 0
+S2_b 0 5.0 5.166666666666667 4.466458333333333 5.112291666666667 0
+S3 0 4.0 6.666666666666667 3.9612499999999997 6.862291666666667 0
+R0 1 6.666666666666667 2.3333333333333335 6.6175 2.528958333333333 0
+R1 0 6.666666666666667 3.8333333333333335 6.6175 4.028958333333333 0
+R2 0 6.666666666666667 5.166666666666667 6.6175 5.362291666666667 0
+R3 0 6.666666666666667 6.666666666666667 6.6175 6.862291666666667 0
+M0 1 12.5 2.3333333333333335 12.101875 2.1122916666666667 0
+M1 0 12.5 3.6666666666666665 12.435208333333334 3.8622916666666662 0
+M2 0 12.5 4.5 12.435208333333334 4.195625 0
+M3 0 12.5 6.0 12.185208333333334 6.195625 0
+Freechoice 0 9.833333333333334 1.0 9.528958333333334 1.195625 0
+P0 0 8.0 2.8333333333333335 7.956041666666667 3.028958333333333 0
+P1 0 8.0 1.8333333333333333 7.956041666666667 2.028958333333333 0
+Risultato 0 9.833333333333334 7.5 8.982083333333334 7.195625 0
+copy_M0 1 15.833333333333334 2.3333333333333335 15.252916666666666 2.1122916666666667 0
+copy_M1 0 15.833333333333334 3.6666666666666665 15.58625 3.8622916666666662 0
+copy_M2 0 15.833333333333334 4.5 15.58625 4.195625 0
+copy_M3 0 15.833333333333334 6.0 15.33625 6.195625 0
+Inizio_Servizio_s 1.0 0 0 2 0 4.0 3.1666666666666665 2.6666666666666665 3.2239583333333335 4.083333333333333 3.234375 0
1 1 0 0
1 17 2 0
-4.25 2.3333333333333335
-4.25 1.0
+4.916666666666667 3.1666666666666665
+4.916666666666667 1.8333333333333333
2
1 2 0 0
1 3 0 0
0
-azione_locale_sa 1.0 0 0 1 0 2.3333333333333335 3.6666666666666665 2.5208333333333335 3.4739583333333335 2.4166666666666665 3.734375 0
+azione_locale_sa 1.0 0 0 1 0 3.0 4.5 3.1875 4.307291666666667 3.0833333333333335 4.567708333333333 0
1 2 0 0
1
1 4 0 0
0
-azione_locale_sb 1.0 0 0 1 0 4.333333333333333 3.6666666666666665 3.1927083333333335 3.9739583333333335 4.416666666666667 3.734375 0
+azione_locale_sb 1.0 0 0 1 0 5.0 4.5 3.859375 4.807291666666667 5.083333333333333 4.567708333333333 0
1 3 0 0
1
1 5 0 0
0
-Fine_Servizio_s 1.0 0 0 2 0 3.3333333333333335 5.166666666666667 2.203125 5.223958333333333 3.4166666666666665 5.234375 0
+Fine_Servizio_s 1.0 0 0 2 0 4.0 6.0 2.8697916666666665 6.057291666666667 4.083333333333333 6.067708333333333 0
1 4 0 0
1 5 0 0
2
1 6 0 0
1 18 4 0
-4.5 5.166666666666667
-4.5 6.666666666666667
-9.916666666666666 6.666666666666667
-10.0 6.666666666666667
+5.166666666666667 6.0
+5.166666666666667 7.5
+10.583333333333334 7.5
+10.666666666666666 7.5
0
-Reset 1.0 0 0 1 1 1.8333333333333333 5.833333333333333 1.7135416666666667 5.640625 1.9166666666666667 5.901041666666667 0
+Reset 1.0 0 0 1 1 2.5 6.666666666666667 2.3802083333333335 6.473958333333333 2.5833333333333335 6.734375 0
1 6 0 0
1
1 1 2 0
-1.8333333333333333 5.166666666666667
-1.8333333333333333 1.5
+2.5 6.0
+2.5 2.3333333333333335
0
-Inizio_Servizio_r 1.0 0 0 2 0 6.833333333333333 2.3333333333333335 7.083333333333333 2.5572916666666665 6.916666666666667 2.4010416666666665 0
+Inizio_Servizio_r 1.0 0 0 2 0 6.666666666666667 3.1666666666666665 6.916666666666667 3.390625 6.75 3.234375 0
1 7 0 0
1 16 2 0
-7.416666666666667 2.3333333333333335
-7.416666666666667 2.0
+7.25 3.1666666666666665
+7.25 2.8333333333333335
1
1 8 0 0
0
-Azione_locale 1.0 0 0 1 0 6.833333333333333 3.6666666666666665 7.03125 3.9739583333333335 6.916666666666667 3.734375 0
+Azione_locale 1.0 0 0 1 0 6.666666666666667 4.5 6.864583333333333 4.807291666666667 6.75 4.567708333333333 0
1 8 0 0
1
1 9 0 0
0
-Fine_Servizio_r 1.0 0 0 1 0 6.833333333333333 5.166666666666667 6.953125 5.473958333333333 6.916666666666667 5.234375 0
+Fine_Servizio_r 1.0 0 0 1 0 6.666666666666667 6.0 6.786458333333333 6.307291666666667 6.75 6.067708333333333 0
1 9 0 0
2
1 10 0 0
1 18 3 0
-8.333333333333334 5.166666666666667
-8.333333333333334 6.666666666666667
-10.0 6.666666666666667
+8.166666666666666 6.0
+8.166666666666666 7.5
+9.833333333333334 7.5
0
-T3 1.0 0 0 1 1 5.666666666666667 5.833333333333333 5.645833333333333 5.640625 5.75 5.901041666666667 0
+T3 1.0 0 0 1 1 5.5 6.666666666666667 5.479166666666667 6.473958333333333 5.583333333333333 6.734375 0
1 10 0 0
1
1 7 1 0
-5.666666666666667 1.5
+5.5 2.3333333333333335
0
-azione_locale_m 1.0 0 0 1 1 13.166666666666666 2.1666666666666665 12.697916666666666 1.890625 13.25 2.234375 0
+azione_locale_m 1.0 0 0 1 1 12.5 3.0 12.03125 2.7239583333333335 12.583333333333334 3.0677083333333335 0
1 11 2 0
-12.583333333333334 2.1666666666666665
-12.583333333333334 1.5
+11.916666666666666 3.0
+11.916666666666666 2.3333333333333335
1
1 12 2 0
-13.75 2.1666666666666665
-13.75 2.8333333333333335
+13.083333333333334 3.0
+13.083333333333334 3.6666666666666665
0
-Richiesta_Servizio 1.0 0 0 1 1 12.333333333333334 2.8333333333333335 11.791666666666666 2.640625 12.416666666666666 2.9010416666666665 0
+Richiesta_Servizio 1.0 0 0 1 1 11.666666666666666 3.6666666666666665 11.125 3.4739583333333335 11.75 3.734375 0
1 12 0 0
2
1 13 1 0
-12.333333333333334 3.6666666666666665
+11.666666666666666 4.5
1 15 2 0
-11.25 2.8333333333333335
-11.25 0.16666666666666666
+10.916666666666666 3.6666666666666665
+10.916666666666666 1.0
0
-Attesa_Elaborazione 1.0 0 0 2 0 13.166666666666666 4.666666666666667 11.729166666666666 4.473958333333333 13.25 4.734375 0
+Attesa_Elaborazione 1.0 0 0 2 0 12.5 5.5 11.0625 5.307291666666667 12.583333333333334 5.567708333333333 0
1 13 0 0
1 18 2 0
-10.5 4.666666666666667
-10.5 5.166666666666667
+9.833333333333334 5.416666666666667
+9.833333333333334 6.0
1
1 14 0 0
0
-Reset_M 1.0 0 0 1 0 14.166666666666666 3.6666666666666665 13.942708333333334 3.4739583333333335 14.25 3.734375 0
+Reset_M 1.0 0 0 1 0 13.5 4.5 13.276041666666666 4.307291666666667 13.583333333333334 4.567708333333333 0
1 14 1 0
-14.166666666666666 5.166666666666667
+13.5 6.0
1
1 11 1 0
-14.166666666666666 1.5
+13.5 2.3333333333333335
0
-Scelta_1 1.0 0 0 1 1 8.666666666666666 1.0 8.46875 0.8072916666666666 8.75 1.0677083333333333 0
+Scelta_1 1.0 0 0 1 1 8.5 1.8333333333333333 8.302083333333334 1.640625 8.583333333333334 1.9010416666666667 0
1 15 1 0
-10.0 1.0
+9.833333333333334 1.8333333333333333
1
1 17 0 0
0
-Scelta_2 1.0 0 0 1 1 8.666666666666666 2.0 8.46875 1.8072916666666667 8.75 2.0677083333333335 0
+Scelta_2 1.0 0 0 1 1 8.5 2.8333333333333335 8.302083333333334 2.640625 8.583333333333334 2.9010416666666665 0
1 15 1 0
-10.0 2.0
+9.833333333333334 2.8333333333333335
1
1 16 0 0
0
-copy_azione_locale_m 1.0 0 0 1 1 16.5 2.1666666666666665 15.848958333333334 1.890625 16.583333333333332 2.234375 0
+copy_azione_locale_m 1.0 0 0 1 1 15.833333333333334 3.0 15.182291666666666 2.7239583333333335 15.916666666666666 3.0677083333333335 0
1 19 2 0
-15.916666666666666 2.1666666666666665
-15.916666666666666 1.5
+15.25 3.0
+15.25 2.3333333333333335
1
1 20 2 0
-17.083333333333332 2.1666666666666665
-17.083333333333332 2.8333333333333335
+16.416666666666668 3.0
+16.416666666666668 3.6666666666666665
0
-copy_Richiesta_Servizio 1.0 0 0 1 1 15.666666666666666 2.8333333333333335 14.942708333333334 2.640625 15.75 2.9010416666666665 0
+copy_Richiesta_Servizio 1.0 0 0 1 1 15.0 3.6666666666666665 14.276041666666666 3.4739583333333335 15.083333333333334 3.734375 0
1 20 0 0
2
1 21 1 0
-15.666666666666666 3.6666666666666665
+15.0 4.5
1 15 2 0
-15.0 2.8333333333333335
-15.0 0.16666666666666666
+14.333333333333334 3.6666666666666665
+14.333333333333334 1.0
0
-copy_Attesa_Elaborazione 1.0 0 0 2 0 16.5 4.666666666666667 14.880208333333334 4.473958333333333 16.583333333333332 4.734375 0
+copy_Attesa_Elaborazione 1.0 0 0 2 0 15.833333333333334 5.5 14.213541666666666 5.307291666666667 15.916666666666666 5.567708333333333 0
1 21 0 0
1 18 3 0
-15.166666666666666 4.666666666666667
-15.166666666666666 5.166666666666667
-15.166666666666666 6.666666666666667
+14.5 5.5
+14.5 6.0
+14.5 7.5
1
1 22 0 0
0
-copy_Reset_M 1.0 0 0 1 0 17.5 3.6666666666666665 17.09375 3.4739583333333335 17.583333333333332 3.734375 0
+copy_Reset_M 1.0 0 0 1 0 16.833333333333332 4.5 16.427083333333332 4.307291666666667 16.916666666666668 4.567708333333333 0
1 22 1 0
-17.5 5.166666666666667
+16.833333333333332 6.0
1
1 19 1 0
-17.5 1.5
+16.833333333333332 2.3333333333333335
0
diff --git a/anno3/vpc/consegne/2/gspn/Es2C.PNPRO b/anno3/vpc/consegne/2/gspn/Es2C.PNPRO
index 712fbee..eee9b64 100644
--- a/anno3/vpc/consegne/2/gspn/Es2C.PNPRO
+++ b/anno3/vpc/consegne/2/gspn/Es2C.PNPRO
@@ -156,11 +156,21 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
@@ -171,4 +181,7 @@
+
+ rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAIR0AJkbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQy1NZWFzdXJlcy5zb2x1dGlvbi9QVCIgLXBiYXNpcyAtZGV0ZWN0LWV4cCAtcHNmbCAtYm5kIAp0AHYbWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJDLU1lYXN1cmVzLnNvbHV0aW9uL1BUIChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDAKdAAQUExBQ0VTOiAgICAgIDIyCnQAD1JBVEUgUEFSOiAgICAwCnQAEFRSQU5TSVRJT05TOiAxOQp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0AB5DT01QVVRJTkcgUExBQ0UgRkxPVyBCQVNJUy4uLgp0ABJNPTE5LCBOPTIyLCBOMD0yMgp0ADlDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBzdGVwIDEvMTksIHxLfD0yMCwgcHJvZHVjdHM9MQp0AFMbWzFBICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCnQAUxtbMUFDb21wdXRhdGlvbiBvZiBGbG93IGJhc2lzOiBjb21wbGV0ZWQgaW4gMTYgc3RlcHMsIHxLfD02LiAgICAgICAgICAgICAgICAgICAgICAKdABARk9VTkQgNiBWRUNUT1JTIElOIFRIRSBQTEFDRSBGTE9XIEJBU0lTICg0IHNlbWlmbG93cywgMiBmbG93cykuCnQAAQp0AAEKdAAnQWxsIHBsYWNlcyBhcmUgY292ZXJlZCBieSBzb21lIFAtZmxvdy4KdAABCnQAJlRPVEFMIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAAnQVZPSUQgRVhQT05FTlRJQUwgR1JPV1RIIE9GIFNFTUlGTE9XUy4KdAAdQ09NUFVUSU5HIFBMQUNFIFNFTUlGTE9XUy4uLgp0ABJNPTE5LCBOPTIyLCBOMD0yMgp0ACtHZW5lcmF0aW9uIG9mIFNlbWlmbG93czogc3RlcCAxLzE5LCB8S3w9MjAKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFEbWzFBR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IGNvbXBsZXRlZCBpbiAxNiBzdGVwcywgfEt8PTcuICAgICAgICAgICAgICAgICAgICAgIAp0ABlGT1VORCA3IFBMQUNFIFNFTUlGTE9XUy4KdAABCnQAAQp0ACtBbGwgcGxhY2VzIGFyZSBjb3ZlcmVkIGJ5IHNvbWUgUC1zZW1pZmxvdy4KdAABCnQAJlRPVEFMIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAAsQ09NUFVUSU5HIFBMQUNFIEJPVU5EUyBGUk9NIFAtU0VNSUZMT1dTIC4uLgp0ACcbWzBYG1szMm0gUFJPQ0VTUyBFWElURUQgTk9STUFMTFkuG1swbQp0AKobWzBtRVhFQzogcGVybCAtZSAnYWxhcm0gNSA7IGV4ZWMgIi91c3IvbG9jYWwvR3JlYXRTUE4vYmluL0RTUE4tVG9vbCAtbG9hZCBcIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJDLU1lYXN1cmVzLnNvbHV0aW9uL1BUXCIgLWxvYWQtYm5kIC1pbHAtYm5kIiAnCnQAdhtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMkMtTWVhc3VyZXMuc29sdXRpb24vUFQgKG5ldC9kZWYpLi4uG1syMm0bWzI0bQp0AA9NQVJLSU5HIFBBUjogMAp0ABBQTEFDRVM6ICAgICAgMjIKdAAPUkFURSBQQVI6ICAgIDAKdAAQVFJBTlNJVElPTlM6IDE5CnQAD01FQVNVUkVTOiAgICAwCnQAKExPQURJTkcgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0AAEKdAABCnQAFUxPQURJTkcgQk5EIEZJTEUgLi4uCnQAJUNPTVBVVElORyBQTEFDRSBCT1VORFMgVVNJTkcgSUxQIC4uLgp0ABhBbGwgcGxhY2VzIGFyZSBib3VuZGVkLgpxAH4AJHQAghtbMG1FWEVDOiAvdXNyL2xvY2FsL0dyZWF0U1BOL2Jpbi9SR01FREQzICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQy1NZWFzdXJlcy5zb2x1dGlvbi9QVCIgLU1FVEEgIC1ndWktc3RhdAp0ACBSYW5kb20gc2VlZHM6IDE1OTAwNzI4NDcgMTg3ODA3CnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAARR3JlYXRTUE4vTWVkZGx5Lgp0ADggIENvcHlyaWdodCAoQykgMTk4Ny0yMDE4LCBVbml2ZXJzaXR5IG9mIFRvcmlubywgSXRhbHkuCnQAMSAgU2VuZCBmaWxlcyBuZXRuYW1lLm5ldCwgLmRlZiB0byBlLW1haWwgYWRkcmVzcwp0ACsgIGJlY2N1dGlAZGkudW5pdG8uaXQgaWYgeW91IGZpbmQgYW55IGJ1Zy4KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AB9CYXNlZCBvbiBNRURETFkgdmVyc2lvbiAwLjE2LjAKdABGICBDb3B5cmlnaHQgKEMpIDIwMDksIElvd2EgU3RhdGUgVW5pdmVyc2l0eSBSZXNlYXJjaCBGb3VuZGF0aW9uLCBJbmMuCnQAKSAgd2Vic2l0ZTogaHR0cDovL21lZGRseS5zb3VyY2Vmb3JnZS5uZXQKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AClVc2luZyBwZXItZXZlbnQgc2F0dXJhdGlvbiAoc2F0LXByZWdlbikuCnQAG1VzaW5nIGZhc3QgTlNGIGdlbmVyYXRpb24uCnQAElByb2Nlc3MgSUQ6IDE5Mzc2CnQAUU1PREVMIE5BTUU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9FczJDLU1lYXN1cmVzLnNvbHV0aW9uL1BUCnQAHSAgMjIgcGxhY2VzLCAxOSB0cmFuc2l0aW9ucy4KdAAnVXNlZCBNZW1vcnkgZm9yIGVuY29kaW5nIG5ldDogMzYxNTY4S0IKdABbT3BlbmluZyBmaWxlOiAvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXMyQy1NZWFzdXJlcy5zb2x1dGlvbi9QVC5ibmQgT0suCnQAXk9wZW5pbmcgZmlsZTogL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzMkMtTWVhc3VyZXMuc29sdXRpb24vUFQuaWxwYm5kIE9LLgp0ABBJTlBVVCBBUkNTOiAgMjQKdAAQT1VUUFVUIEFSQ1M6IDI0CnQAD0lOSElCIEFSQ1M6ICAwCnQAD1RFU1QgQVJDUzogICAwCnQAEFBMQUNFUzogICAgICAyMgp0ABBUUkFOU0lUSU9OUzogMTkKdAAPSU5WQVJJQU5UUzogIDYKdAAPUC1TRU1JRkxPV1M6IDcKdAAWTUFYIElOVkFSSUFOVCBDQVJEOiAxCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IFZBUklBQkxFIE9SREVSID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAPFZhcmlhYmxlIG9yZGVyIG1ldGhvZDogTWV0YS1oZXVyaXN0aWMgdXNpbmcgd2VpZ2h0ZWQgc2NvcmUuCnQAUSAgTUVUSE9EICAgICAgICAgICAgICBTQ09SRSAgICAgICAgU1dJUiAgICAgICBTT1VQUyBESVNDT1VOVCAgV0VJR0hUICAgICAgIFRJTUUgCnQAVSAgU0xPICAgICAgICAgICAgICAgMTYwLjQ0NiAgICAgICAgIDE0MyAgICAgICAgICA5MSAgICAgICAgMSAgIDEuMTIyICAgIDAuMDAwMTggc2VjLgp0AFUgIFNMTytGb3JjZSAgICAgICAgICAxMDguMjQgICAgICAgICAxMjMgICAgICAgICAgODYgICAgICAgIDEgICAgMC44OCAgICA3LjRlLTA1IHNlYy4KdABVICBTTE8tMTYgICAgICAgICAgICAxMTQuMTE0ICAgICAgICAgMTQzICAgICAgICAgIDkxICAgICAgICAxICAgMC43OTggICAgOC4zZS0wNSBzZWMuCnQAVSAgU0xPLTE2K0ZvcmNlICAgICAgMTEyLjA1MyAgICAgICAgIDEyMyAgICAgICAgICA4NiAgICAgICAgMSAgIDAuOTExICAgIDcuM2UtMDUgc2VjLgp0AFUgIFRPVjIgICAgICAgICAgICAgIDExNC41MzQgICAgICAgICAxMjYgICAgICAgICAgODYgICAgICAgIDEgICAwLjkwOSAgICA1LjllLTA1IHNlYy4KdABVICBUT1YyK0ZvcmNlICAgICAgICAxNDguMjI0ICAgICAgICAgMTI4ICAgICAgICAgIDg0ICAgICAgICAxICAgMS4xNTggICAgNS40ZS0wNSBzZWMuCnQAVSAgTk9BQ0syICAgICAgICAgICAgMTQyLjUwNiAgICAgICAgIDEyNiAgICAgICAgICA4NiAgICAgICAgMSAgIDEuMTMxICAgIDMuOGUtMDUgc2VjLgp0AFUgIE5PQUNLMitGb3JjZSAgICAgICAxMjUuNDQgICAgICAgICAxMjggICAgICAgICAgODQgICAgICAgIDEgICAgMC45OCAgICA1LjRlLTA1IHNlYy4KdABVICBBQ00gICAgICAgICAgICAgICA0MTUuNTIxICAgICAgICAgNDExICAgICAgICAgMTM1ICAgICAgICAxICAgMS4wMTEgICAgICA3ZS0wNSBzZWMuCnQAVSAgQUNNK0ZvcmNlICAgICAgICAgMTkwLjQyMiAgICAgICAgIDE0OSAgICAgICAgICA4OSAgICAgICAgMSAgIDEuMjc4ICAgIDUuMWUtMDUgc2VjLgp0AFUgIENNMiAgICAgICAgICAgICAgICAgNzAzLjggICAgICAgICA1NTIgICAgICAgICAxNTEgICAgICAgIDEgICAxLjI3NSAgICAzLjRlLTA1IHNlYy4KdABVICBDTTIrRm9yY2UgICAgICAgICAxNzguMDM4ICAgICAgICAgMTYyICAgICAgICAgIDk2ICAgICAgICAxICAgMS4wOTkgICAgNC4zZS0wNSBzZWMuCnQAVSAgUCAgICAgICAgICAgICAgICAgMjA3LjcwMiAgICAgICAgIDE5OCAgICAgICAgIDEwNyAgICAgICAgMSAgIDEuMDQ5ICAgIDMuMWUtMDUgc2VjLgp0AFUgIEdQICAgICAgICAgICAgICAgIDE4OS41NjkgICAgICAgICAxNjMgICAgICAgICAgOTUgICAgICAgIDEgICAxLjE2MyAgICA3LjhlLTA1IHNlYy4KdABVICBHUCtGb3JjZSAgICAgICAgICAxNDIuODc1ICAgICAgICAgMTI3ICAgICAgICAgIDg4ICAgICAgICAxICAgMS4xMjUgICAgNC44ZS0wNSBzZWMuCnQAPk1ldGEtaGV1cmlzdGljOiBzZWxlY3RpbmcgbWV0aG9kIFNMTytGb3JjZSB3aXRoIHNjb3JlOiAxMDguMjQKdAApVGltZSB0byBjb21wdXRlIHZhcmlhYmxlIG9yZGVyOiAwLjAwMTUxOAp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBTVEFSVCBGSVJJTkcgUlVMRVMgRU5DT0RJTkcgPT09PT09PT09PT09PT09PT09PT09PT09PQp0ACxFbmNvZGVkIDE5IHRyYW5zaXRpb24gaW4gMSBwcmlvcml0eSBncm91cHMuCnQAIVRpbWUgdG8gYnVpbGQgYWxsIE5TRnM6IDAuMDAxODI5CnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09IFJFQUNIQUJJTElUWSBTRVQgR0VORVJBVElPTiA9PT09PT09PT09PT09PT09PT09PT09PT09CnQAFVNwbGl0OiBTcGxpdFN1YnRyYWN0CnQAHVJTIGdlbmVyYXRpb24gdGltZTogMC4wMDAyMzcKdAAdQ29tcHV0aW5nIHZhcmlhYmxlIGJvdW5kcy4uLgp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gTUVNT1JZID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ACogQ2FyZGluYWxpdHkoUlMpOiAgICAgICAgIDMwMCAgICAgICAgICAgIAp0ACogIyBmaXJlZCB0cmFuc2l0aW9uczogICAgIDg2MCAgICAgICAgICAgIAp0ACogTWF4IHRva2VucyBpbiBwbGFjZTogICAgIDIgICAgICAgICAgICAgIAp0ACogTWF4IHRva2VucyB4IG1hcmtpbmc6ICAgIDYgICAgICAgICAgICAgIAp0AB0gUlMgbm9kZXM6ICAgICAgICAgICAgICAgIDYzCnQAHSBSUyBlZGdlczogICAgICAgICAgICAgICAgOTIKdAA/IEZvcmVzdChSUykgbm9kZXM6ICAgICAgICA5NyBhY3RpdmVzLCAxMDMgcGVhaywgMCBjb21wYWN0aW9ucy4KdAA7IEZvcmVzdChSUykgc2l6ZTogICAgICAgICAyNDE5IEJ5dGVzIG5vdywgMjU3MyBCeXRlcyBwZWFrLgp0AEAgTXhEIG5vZGVzOiAgICAgICAgICAgICAgIDM1NyBhY3RpdmVzLCAzODAgcGVhaywgMCBjb21wYWN0aW9ucy4KdAA9IE14RCBzaXplOiAgICAgICAgICAgICAgICAxMDE2MyBCeXRlcyBub3csIDEwODY4IEJ5dGVzIHBlYWsuCnQAKSBUb3RhbCBNZW1vcnkgVXNlZDogICAgICAgMzYxNTY4IEtCeXRlcy4KdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PSBUSU1FID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAlIFZhcmlhYmxlIG9yZGVyIFRpbWU6IDAuMDAyICAgICBzZWMuCnQAJSBOU0YgZ2VuLiBUaW1lOiAgICAgICAwLjAwMiAgICAgc2VjLgp0ACUgUlMgR2VuZXJhdGlvbiBUaW1lOiAgMC4wMDAgICAgIHNlYy4KdAAlIFRvdGFsIFJTIFRpbWU6ICAgICAgIDAuMDAyICAgICBzZWMuCnQAJSBGaXJpbmdzIENvdW50IFRpbWU6ICAwLjAwMCAgICAgc2VjLgp0ACUgU3RhdGlzdGljcyBUaW1lOiAgICAgMC4wMDAgICAgIHNlYy4KdAAlIFRvdGFsIFRpbWU6ICAgICAgICAgIDAuMDA1ICAgICBzZWMuCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KcQB+ACR4c3EAfgAAdwQAAACEc3IAEWphdmEubGFuZy5Cb29sZWFuzSBygNWc+u4CAAFaAAV2YWx1ZXhwAXEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZxAH4AhnEAfgCGcQB+AIZ4
+
diff --git a/anno3/vpc/consegne/2/gspn/EsD.PNPRO b/anno3/vpc/consegne/2/gspn/EsD.PNPRO
index bbd2c1c..7c35604 100644
--- a/anno3/vpc/consegne/2/gspn/EsD.PNPRO
+++ b/anno3/vpc/consegne/2/gspn/EsD.PNPRO
@@ -127,12 +127,25 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+ rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAAHR0AJgbWzBtRVhFQzogL3Vzci9sb2NhbC9HcmVhdFNQTi9iaW4vRFNQTi1Ub29sIC1sb2FkICIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXNELU1lYXN1cmVzLnNvbHV0aW9uL1BUIiAtcGJhc2lzIC1kZXRlY3QtZXhwIC1wc2ZsIC1ibmQgCnQAdRtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzRC1NZWFzdXJlcy5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAwCnQAEFBMQUNFUzogICAgICAyMgp0AA9SQVRFIFBBUjogICAgMAp0ABBUUkFOU0lUSU9OUzogMTcKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAeQ09NUFVUSU5HIFBMQUNFIEZMT1cgQkFTSVMuLi4KdAASTT0xNywgTj0yMiwgTjA9MjIKdAA5Q29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogc3RlcCAxLzE3LCB8S3w9MjAsIHByb2R1Y3RzPTEKdABTG1sxQSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAp0AFMbWzFBQ29tcHV0YXRpb24gb2YgRmxvdyBiYXNpczogY29tcGxldGVkIGluIDE1IHN0ZXBzLCB8S3w9Ny4gICAgICAgICAgICAgICAgICAgICAgCnQAQEZPVU5EIDcgVkVDVE9SUyBJTiBUSEUgUExBQ0UgRkxPVyBCQVNJUyAoNSBzZW1pZmxvd3MsIDIgZmxvd3MpLgp0AAEKdAABCnQAJ0FsbCBwbGFjZXMgYXJlIGNvdmVyZWQgYnkgc29tZSBQLWZsb3cuCnQAAQp0ACZUT1RBTCBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAJ0FWT0lEIEVYUE9ORU5USUFMIEdST1dUSCBPRiBTRU1JRkxPV1MuCnQAHUNPTVBVVElORyBQTEFDRSBTRU1JRkxPV1MuLi4KdAASTT0xNywgTj0yMiwgTjA9MjIKdAArR2VuZXJhdGlvbiBvZiBTZW1pZmxvd3M6IHN0ZXAgMS8xNywgfEt8PTIwCnQAUxtbMUEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKdABRG1sxQUdlbmVyYXRpb24gb2YgU2VtaWZsb3dzOiBjb21wbGV0ZWQgaW4gMTUgc3RlcHMsIHxLfD04LiAgICAgICAgICAgICAgICAgICAgICAKdAAZRk9VTkQgOCBQTEFDRSBTRU1JRkxPV1MuCnQAAQp0AAEKdAArQWxsIHBsYWNlcyBhcmUgY292ZXJlZCBieSBzb21lIFAtc2VtaWZsb3cuCnQAAQp0ACZUT1RBTCBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQALENPTVBVVElORyBQTEFDRSBCT1VORFMgRlJPTSBQLVNFTUlGTE9XUyAuLi4KdAAnG1swWBtbMzJtIFBST0NFU1MgRVhJVEVEIE5PUk1BTExZLhtbMG0KdACpG1swbUVYRUM6IHBlcmwgLWUgJ2FsYXJtIDUgOyBleGVjICIvdXNyL2xvY2FsL0dyZWF0U1BOL2Jpbi9EU1BOLVRvb2wgLWxvYWQgXCIvaG9tZS91c2VyL1VOSVRPL2Fubm8zL3ZwYy9jb25zZWduZS8yL2dzcG4vRXNELU1lYXN1cmVzLnNvbHV0aW9uL1BUXCIgLWxvYWQtYm5kIC1pbHAtYm5kIiAnCnQAdRtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgL2hvbWUvdXNlci9VTklUTy9hbm5vMy92cGMvY29uc2VnbmUvMi9nc3BuL0VzRC1NZWFzdXJlcy5zb2x1dGlvbi9QVCAobmV0L2RlZikuLi4bWzIybRtbMjRtCnQAD01BUktJTkcgUEFSOiAwCnQAEFBMQUNFUzogICAgICAyMgp0AA9SQVRFIFBBUjogICAgMAp0ABBUUkFOU0lUSU9OUzogMTcKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAVTE9BRElORyBCTkQgRklMRSAuLi4KdAAlQ09NUFVUSU5HIFBMQUNFIEJPVU5EUyBVU0lORyBJTFAgLi4uCnQAGEFsbCBwbGFjZXMgYXJlIGJvdW5kZWQuCnEAfgAkdACAG1swbUVYRUM6IC91c3IvbG9jYWwvR3JlYXRTUE4vYmluL1JHTUVERDMgIi9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQiIC1UT1YgIC1ndWktc3RhdAp0ACBSYW5kb20gc2VlZHM6IDE1OTAwNzI4NzAgNTg5MTk1CnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAARR3JlYXRTUE4vTWVkZGx5Lgp0ADggIENvcHlyaWdodCAoQykgMTk4Ny0yMDE4LCBVbml2ZXJzaXR5IG9mIFRvcmlubywgSXRhbHkuCnQAMSAgU2VuZCBmaWxlcyBuZXRuYW1lLm5ldCwgLmRlZiB0byBlLW1haWwgYWRkcmVzcwp0ACsgIGJlY2N1dGlAZGkudW5pdG8uaXQgaWYgeW91IGZpbmQgYW55IGJ1Zy4KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AB9CYXNlZCBvbiBNRURETFkgdmVyc2lvbiAwLjE2LjAKdABGICBDb3B5cmlnaHQgKEMpIDIwMDksIElvd2EgU3RhdGUgVW5pdmVyc2l0eSBSZXNlYXJjaCBGb3VuZGF0aW9uLCBJbmMuCnQAKSAgd2Vic2l0ZTogaHR0cDovL21lZGRseS5zb3VyY2Vmb3JnZS5uZXQKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AClVc2luZyBwZXItZXZlbnQgc2F0dXJhdGlvbiAoc2F0LXByZWdlbikuCnQAG1VzaW5nIGZhc3QgTlNGIGdlbmVyYXRpb24uCnQAElByb2Nlc3MgSUQ6IDE5NDI5CnQAUE1PREVMIE5BTUU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQKdAAdICAyMiBwbGFjZXMsIDE3IHRyYW5zaXRpb25zLgp0ACdVc2VkIE1lbW9yeSBmb3IgZW5jb2RpbmcgbmV0OiAzNjE1NjhLQgp0AFpPcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQuYm5kIE9LLgp0AF1PcGVuaW5nIGZpbGU6IC9ob21lL3VzZXIvVU5JVE8vYW5ubzMvdnBjL2NvbnNlZ25lLzIvZ3Nwbi9Fc0QtTWVhc3VyZXMuc29sdXRpb24vUFQuaWxwYm5kIE9LLgp0ABBJTlBVVCBBUkNTOiAgMjIKdAAQT1VUUFVUIEFSQ1M6IDIyCnQAD0lOSElCIEFSQ1M6ICAwCnQAD1RFU1QgQVJDUzogICAwCnQAEFBMQUNFUzogICAgICAyMgp0ABBUUkFOU0lUSU9OUzogMTcKdAAPSU5WQVJJQU5UUzogIDcKdAAPUC1TRU1JRkxPV1M6IDgKdAAWTUFYIElOVkFSSUFOVCBDQVJEOiAxCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IFZBUklBQkxFIE9SREVSID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQALFZhcmlhYmxlIG9yZGVyIG1ldGhvZDogVG92Y2hpZ3JlY2hrbyBtZXRob2QKdAAYTnVtYmVyIG9mIGNvbXBvbmVudHM6IDIKdAAoVGltZSB0byBjb21wdXRlIHZhcmlhYmxlIG9yZGVyOiAzLjZlLTA1CnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09IFNUQVJUIEZJUklORyBSVUxFUyBFTkNPRElORyA9PT09PT09PT09PT09PT09PT09PT09PT09CnQALEVuY29kZWQgMTcgdHJhbnNpdGlvbiBpbiAxIHByaW9yaXR5IGdyb3Vwcy4KdAAgVGltZSB0byBidWlsZCBhbGwgTlNGczogMC4wMDA1OAp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBSRUFDSEFCSUxJVFkgU0VUIEdFTkVSQVRJT04gPT09PT09PT09PT09PT09PT09PT09PT09PQp0ABVTcGxpdDogU3BsaXRTdWJ0cmFjdAp0AB1SUyBnZW5lcmF0aW9uIHRpbWU6IDAuMDAwMTY3CnQAHUNvbXB1dGluZyB2YXJpYWJsZSBib3VuZHMuLi4KdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IE1FTU9SWSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAAqIENhcmRpbmFsaXR5KFJTKTogICAgICAgICAxNjggICAgICAgICAgICAKdAAqICMgZmlyZWQgdHJhbnNpdGlvbnM6ICAgICA0NTIgICAgICAgICAgICAKdAAqIE1heCB0b2tlbnMgaW4gcGxhY2U6ICAgICAxICAgICAgICAgICAgICAKdAAqIE1heCB0b2tlbnMgeCBtYXJraW5nOiAgICA2ICAgICAgICAgICAgICAKdAAdIFJTIG5vZGVzOiAgICAgICAgICAgICAgICA1Mgp0AB0gUlMgZWRnZXM6ICAgICAgICAgICAgICAgIDY3CnQAPiBGb3Jlc3QoUlMpIG5vZGVzOiAgICAgICAgODcgYWN0aXZlcywgODkgcGVhaywgMCBjb21wYWN0aW9ucy4KdAA7IEZvcmVzdChSUykgc2l6ZTogICAgICAgICAyMTE3IEJ5dGVzIG5vdywgMjE2MyBCeXRlcyBwZWFrLgp0AEAgTXhEIG5vZGVzOiAgICAgICAgICAgICAgIDMwNCBhY3RpdmVzLCAzMjkgcGVhaywgMCBjb21wYWN0aW9ucy4KdAA7IE14RCBzaXplOiAgICAgICAgICAgICAgICA4NDU2IEJ5dGVzIG5vdywgOTE4NyBCeXRlcyBwZWFrLgp0ACkgVG90YWwgTWVtb3J5IFVzZWQ6ICAgICAgIDM2MTU2OCBLQnl0ZXMuCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gVElNRSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAJSBWYXJpYWJsZSBvcmRlciBUaW1lOiAwLjAwMCAgICAgc2VjLgp0ACUgTlNGIGdlbi4gVGltZTogICAgICAgMC4wMDEgICAgIHNlYy4KdAAlIFJTIEdlbmVyYXRpb24gVGltZTogIDAuMDAwICAgICBzZWMuCnQAJSBUb3RhbCBSUyBUaW1lOiAgICAgICAwLjAwMSAgICAgc2VjLgp0ACUgRmlyaW5ncyBDb3VudCBUaW1lOiAgMC4wMDAgICAgIHNlYy4KdAAlIFN0YXRpc3RpY3MgVGltZTogICAgIDAuMDAwICAgICBzZWMuCnQAJSBUb3RhbCBUaW1lOiAgICAgICAgICAwLjAwMiAgICAgc2VjLgp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnEAfgAkeHNxAH4AAHcEAAAAdHNyABFqYXZhLmxhbmcuQm9vbGVhbs0gcoDVnPruAgABWgAFdmFsdWV4cAFxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4AdnEAfgB2cQB+AHZxAH4Adng
+
diff --git a/anno3/vpc/consegne/3/analisi.org b/anno3/vpc/consegne/3/analisi.org
index 4fc8cd7..5e7e8b8 100644
--- a/anno3/vpc/consegne/3/analisi.org
+++ b/anno3/vpc/consegne/3/analisi.org
@@ -87,13 +87,9 @@ AG (#Q1==1 -> EF (#Q3 == 1))
#+END_SRC
\includepdf{3.2.jpg}
** Algebra dei processi
-L'algoritmo 3.6 modellato secondo NuSMV e GreatSPN mostra che non c'e`
-la mutua esclusione.
-Questo viene evidenziato anche dal fatto che i nodi del Reachability
-Graph corrispondo al prodotto cartesiano P×Q.
-Anche il Derivation Graph del modello in algebra dei processi ha 25
-nodi ed e` equivalente al Reachability Graph.
-| System = {(P₁ \vert{}\vert{} Q₁) \vert{}\vert{} Tₚ} \ttvar{\ }Sync
+Riportiamo il modello dell'algoritmo 3.2 secondo l'algebra dei
+processi.
+| System = {(P₁ \vert{}\vert{} Q₁) \vert{}\vert{} Tₚ} \ttvar{/ }Sync
| S = {localₚ, local_{q}, criticalₚ, critical_{q}}
| Sync = {isₚ, is_{q}, setₚ, set_{q}}
@@ -110,8 +106,8 @@ nodi ed e` equivalente al Reachability Graph.
| Q₃ ::= critical_{q}.Q₄
| Q₄ ::= set_{p}.Q₁
-\includepdf{rg_3.6.jpg}
-\includepdf{derivation_3.6.jpg}
+\includepdf{rg_3.2.jpg}
+\includepdf{derivation_3.2.jpg}
** Risultati
Nella tabella mostriamo i risultati ottenuti
@@ -322,10 +318,14 @@ AG (#Q2 == 1 -> AF (#Q4 == 1))
#+END_SRC
\includepdf{3.6.jpg}
** Algebra dei processi
-Riportiamo il modello dell'algoritmo 3.2 secondo l'algebra dei
-processi.
+L'algoritmo 3.6 modellato secondo NuSMV e GreatSPN mostra che non c'e`
+la mutua esclusione.
+Questo viene evidenziato anche dal fatto che i nodi del Reachability
+Graph corrispondo al prodotto cartesiano P×Q.
+Anche il Derivation Graph del modello in algebra dei processi ha 25
+nodi ed e` equivalente al Reachability Graph.
-| System = {(P₁ \vert{}\vert{} Q₁) \vert{}\vert{} (Wantₚ₀ \vert{}\vert{} Want_{q}₀)} \ttvar{\ }Sync
+| System = {(P₁ \vert{}\vert{} Q₁) \vert{}\vert{} (Wantₚ₀ \vert{}\vert{} Want_{q}₀)} \ttvar{/ }Sync
| Sync = { isTrueₚ, isFalseₚ, setTrueₚ, setFalseₚ,
| \enspace{}\quad{}\quad{} isTrue_{q}, isFalse_{q}, setTrue_{q}, setFalse_{q} }
| S = {localₚ, criticalₚ, local_{q}, critical_{q}}
@@ -347,6 +347,9 @@ processi.
| Q₅ ::= setFalse_{q}.Q₁
+\includepdf{rg_3.6.jpg}
+\includepdf{derivation_3.6.jpg}
+
** Risultati
Nella tabella mostriamo i risultati ottenuti
| | NuSMV | GreatSPN |
diff --git a/anno3/vpc/consegne/3/analisi.pdf b/anno3/vpc/consegne/3/analisi.pdf
index 3eb72f7..26c3254 100644
Binary files a/anno3/vpc/consegne/3/analisi.pdf and b/anno3/vpc/consegne/3/analisi.pdf differ
diff --git a/anno3/vpc/consegne/4/uppaallC.xml b/anno3/vpc/consegne/4/uppaallC.xml
index b2a4532..ae7bd79 100644
--- a/anno3/vpc/consegne/4/uppaallC.xml
+++ b/anno3/vpc/consegne/4/uppaallC.xml
@@ -285,6 +285,7 @@ clock fc;
clock timer0;
clock timer1;
+clock attesa;
bool next = 0;
@@ -319,7 +320,8 @@ bool next = 0;
+fc := 0,
+attesa := 0
@@ -353,7 +355,7 @@ fc := 0
next := !next
- sender = Sender_2t();
+ sender = Sender_1t();
receiver = Receiver();
link = Link();
diff --git a/todo.org b/todo.org
index 7a78544..34ea7b3 100644
--- a/todo.org
+++ b/todo.org
@@ -1,24 +1,29 @@
-* TODO VPC [10/19]
+* TODO VPC [16/19]
- [X] chiedi della riduzione
- [X] calcolo semiflussi come da mail
- [X] chiedi dell'esame
- [X] Es1: definizioni
- [X] Rimuovi parte in cui parli di archi inibitori
-- [ ] Chiedi a Daniel come da p-semiflows deadlock
-- [ ] Chiedi a Daniel come da p-semiflows liveness
-- [ ] spiega nelle relazioni che bounded se RS finito
-- [ ] spiega nelle relazioni che bounded quando coperta da p-semiflows
+- [X] Chiedi a Daniel come da p-semiflows deadlock
+- [X] Chiedi a Daniel come da p-semiflows liveness
+- [X] spiega nelle relazioni che bounded se RS finito
+- [X] spiega nelle relazioni che bounded quando coperta da p-semiflows
- [X] Vedi bisimulazione ed equivalenze in teoria analisi
-- [ ] Teoria [0/3]
+- [ ] Teoria [0/8]
- [ ] Hierarchy of equivalences
- [ ] algebra.extra.lucca: internal/external choices
- [ ] Observer e testing equivalence
-- [-] rete A, b, c, d [2/3]
- - [ ] Spiega p-t-semiflows analysis: deadlock e liveness, boundness
+ - [ ] Vedi bene legge conservazione token
+ - [ ] Vedi bene fairness, liveness come formule?
+ - [ ] Vedi da relazioni procedure dimostrazione deadlock
+ - [ ] Impara equivalenze come le spiega lei
+ - [ ] Formalizza algoritmo bisimulazione
+- [X] rete A, b, c, d [3/3]
+ - [X] Spiega p-t-semiflows analysis: deadlock e liveness, boundness
- [X] sulle slide, quando si chiede come deve decidere il master
- [X] Sistema screenshots di GSPN non tagliati
- [X] rete E, F -> Controlla sia finito
-- [-] Analisi [18/23]
+- [-] Analisi [18/22]
- [X] Spiega perche` non hai usato process
- [X] Riguardo RGGMED4, non posso scrivere ltl equiparabile a ctl?
- [X] Specifica all'inizio che usi condizione piu` bassa per deadlock
@@ -28,7 +33,6 @@
- [X] modellazione
- [X] rg vs dg
- [ ] equivalenza e bisimulazione
- - [ ] Spiega p-t-semiflows analysis: deadlock e liveness, boundness
- [X] 3.2, 3.5 rifai immagini e ctl con nuovi nomi spazi / transizioni
- [ ] E` algebra CSP? Specifica
- [X] Vedi necessita` di Sync e /
@@ -46,11 +50,11 @@
- [X] chiedi a lei di safety, liveness, fairness
- [ ] mi sa non finito
- [X] uppal, es 4 [4/4]
- - [X] Galla`: su uppaall e` stato lui a scegliere i valori numerici_tempo
+ - [X] Galla`: su uppaal e` stato lui a scegliere i valori numerici_tempo
- [X] Come si prende intervallo attesa richiesto da Donatelli?
- [X] Fai intervallo attesa
- [X] Cambia nomi
-- [ ] CSP: che significa sync?
+- [X] CSP: che significa sync?
- [X] controlla esercizi nuovi
- [X] Controlla bene e studia Symbolic Reachability Graph: perche` cosi` buono?
- [ ] Confrontare esercizi con Galla`