diff --git a/anno3/vpc/consegne/2.b/2.b.org b/anno3/vpc/consegne/2.b/2.b.org index 350e47f..8855482 100644 --- a/anno3/vpc/consegne/2.b/2.b.org +++ b/anno3/vpc/consegne/2.b/2.b.org @@ -100,7 +100,7 @@ Il /dominio D/ = /Master×Slave/ e` utilizzato per la multiplicity degli archi fra fork e join, in modo da tener traccia delle richieste effettuate. -** TODO Reachability Graph +** Reachability Graph Le seguenti tabelle elencano la dimensione dello spazio degli stati al variare del numero di master (N) e di slave (Sn e Rn). | N | R1, R2 | Marking RG | Marking SRG | @@ -119,7 +119,11 @@ del numero di master (N) e di slave (Sn e Rn). Rispetto alla precedente rete, il rapporto stato degli spazi di RG/SRG e` minore. -** TODO Reachability Graph al variare delle classi di colore +** Reachability Graph al variare delle classi di colore +La seguente tabella mostra l'incremento dello spazio degli stati +all'aumentare degli elementi della classe di color Master. +Come nella precedente rete, il rapporto marking RG/SRG aumenta +proporzionalmente alla cardinalita` della classe. | \vert{}M1\vert{} | \vert{}M2\vert{} | Marking RG | Marking SRG | |------------------+------------------+------------+-------------| | 2 | 1 | 768 | 432 | @@ -131,10 +135,26 @@ e` minore. | 4 | 4 | 2359296 | 22500 | | 5 | 4 | 11010048 | 37800 | | 5 | 5 | 51380224 | 63504 | - - [ ] Cambia diversamente all'aumento di slaves vs masters? +Nella seguente tabella viene evidenziato l'incremento dello stato +degli spazi all'aumentare degli elementi della classe di colore Slave. | \vert{}Slave1\vert{} | \vert{}Slave2\vert{} | Marking RG | Marking SRG | |----------------------+----------------------+------------+-------------| +| 1 | 1 | 768 | 432 | +| 1 | 2 | 2048 | 720 | +| 2 | 1 | 2688 | 864 | +| 2 | 2 | 7168 | 1440 | +| 2 | 3 | 17920 | 2016 | +| 3 | 2 | 22528 | 2160 | +| 3 | 3 | 56320 | 3024 | +| 3 | 4 | 135168 | 3888 | +| 4 | 3 | 163840 | 4032 | +| 4 | 4 | 393216 | 5184 | +| 4 | 5 | 917504 | 6336 | +| 5 | 4 | 1081344 | 6480 | +| 5 | 5 | 2523136 | 7920 | +Notiamo che l'alta cardinalita` della classe Slave abbia avuto un +impatto minore sulla dimensione del RG rispetto alla classe master. +Il rapporto RG/SRG segue quanto detto finora ed e` il piu` grande fra tutte le reti analizzate. ** Considerazioni su Fork/Join diff --git a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.cap b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.cap index ec5e0ca..1ab3fbe 100644 --- a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.cap +++ b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.cap @@ -1,3 +1,3 @@ 0*999* -6*0*0*0*0*1*0*0*1*0*1*0**0*0*0*0*1*0*0*1*0*1*0**5* -7*1*0*0*0*0*0*0*1*0*1*0**1*0*0*0*0*0*0*1*0*1*0**1* +4*0*0*0*0*1*0*0*1*0*1*0**0*0*0*0*1*0*0*1*0*1*0**4* +5*1*0*0*0*0*0*0*1*0*1*0**1*0*0*0*0*0*0*1*0*1*0**1* diff --git a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.def b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.def index a348942..51acd11 100644 --- a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.def +++ b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.def @@ -10,14 +10,14 @@ u M1,M2 (M2 c 1.8854166666666667 0.8333333333333334 (@c {m2} )) -(Slave c 3.6666666666666665 1.1666666666666667 (@c +(Slave c 0.5 0.5 (@c u Slave1,Slave2 )) -(Slave1 c 4.333333333333333 1.1666666666666667 (@c -ID{10-n} +(Slave1 c 1.1666666666666667 0.5 (@c +s{1-n} )) -(Slave2 c 5.0 1.1666666666666667 (@c -ID{20-n1} +(Slave2 c 1.8333333333333333 0.5 (@c +r{1-n2} )) (m_0 m 10.0 2.0 (@m R1+R1 diff --git a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.mark b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.mark index b5ad146..cbb54f2 100644 Binary files a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.mark and b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.mark differ diff --git a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.net b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.net index 673f504..149b266 100644 --- a/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.net +++ b/anno3/vpc/consegne/2.b/ReteF-SRG of CPN.solution/CPN.net @@ -4,7 +4,7 @@ f 4 11 0 8 0 0 0 N -7134 0.6354166666666666 0.4322916666666667 0 n -7134 0.9635416666666666 0.4322916666666667 0 R1 -7134 1.328125 0.4322916666666667 0 -n1 -7134 0.8229166666666666 1.5989583333333333 0 +n2 -7134 3.3229166666666665 1.5989583333333333 0 S0 -10007 6.0 2.0 5.434166666666666 1.6122916666666667 0 6.2 2.1666666666666665 Slave S1_a 0 5.0 3.1666666666666665 3.7883333333333327 3.3622916666666662 0 5.2 3.3333333333333335 Master,Slave S1_b 0 7.0 3.1666666666666665 5.694583333333333 3.3622916666666662 0 7.2 3.3333333333333335 Master,Slave @@ -64,7 +64,7 @@ T0 1.0 0 0 1 1 0.8333333333333334 5.333333333333333 0.8125 5.140625 0.91666 1 7 1 0 0.000000 0.000000 0.8333333333333334 1.8333333333333333 0 -T55 1.0 0 0 2 1 6.0 2.8333333333333335 5.953125 2.640625 6.083333333333333 2.9010416666666665 0 4.364583333333333 2.984375 [((d(m) = M1) and (d(id) = Slave1)) or ((d(m) = M2) and (d(id) = Slave2))] +T55 1.0 0 0 2 1 6.0 2.8333333333333335 5.953125 2.640625 6.083333333333333 2.9010416666666665 0 4.614583333333333 0.984375 [((d(m) = M1) and (d(id) = Slave1)) or ((d(m) = M2) and (d(id) = Slave2))] 1 1 0 0 0.000000 0.000000 1 10 1 0 0.000000 0.000000 5.333333333333333 2.6666666666666665 diff --git a/anno3/vpc/consegne/2.b/ReteF.PNPRO b/anno3/vpc/consegne/2.b/ReteF.PNPRO index a3d4a25..b648c72 100644 --- a/anno3/vpc/consegne/2.b/ReteF.PNPRO +++ b/anno3/vpc/consegne/2.b/ReteF.PNPRO @@ -24,12 +24,13 @@