643 lines
No EOL
24 KiB
Text
Executable file
643 lines
No EOL
24 KiB
Text
Executable file
digraph RG {
|
|
T1 [ label="S0(1) R0(1) M0(6) copy_M0(6)
|
|
"];
|
|
T2 [ label="S0(1) R0(1) M0(5) M1(1) copy_M0(6)
|
|
"];
|
|
T1 -> T2 [ label=<azione_locale_m>];
|
|
T3 [ label="S0(1) R0(1) M0(6) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T1 -> T3 [ label=<copy_azione_locale_m>];
|
|
T4 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) copy_M0(6)
|
|
"];
|
|
T2 -> T4 [ label=<Richiesta_Servizio>];
|
|
T5 [ label="S0(1) R0(1) M0(5) M1(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T2 -> T5 [ label=<copy_azione_locale_m>];
|
|
T6 [ label="S0(1) R0(1) M0(4) M1(2) copy_M0(6)
|
|
"];
|
|
T2 -> T6 [ label=<azione_locale_m>];
|
|
T7 [ label="S0(1) R0(1) M0(6) Freechoice(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T3 -> T7 [ label=<copy_Richiesta_Servizio>];
|
|
T8 [ label="S0(1) R0(1) M0(6) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T3 -> T8 [ label=<copy_azione_locale_m>];
|
|
T3 -> T5 [ label=<azione_locale_m>];
|
|
T9 [ label="S0(1) R0(1) M0(5) M2(1) P1(1) copy_M0(6)
|
|
"];
|
|
T4 -> T9 [ label=<Scelta_1>];
|
|
T10 [ label="S0(1) R0(1) M0(5) M2(1) P0(1) copy_M0(6)
|
|
"];
|
|
T4 -> T10 [ label=<Scelta_2>];
|
|
T11 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) Freechoice(1) copy_M0(6)
|
|
"];
|
|
T4 -> T11 [ label=<azione_locale_m>];
|
|
T12 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T4 -> T12 [ label=<copy_azione_locale_m>];
|
|
T13 [ label="S0(1) R0(1) M0(5) M1(1) Freechoice(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T5 -> T13 [ label=<copy_Richiesta_Servizio>];
|
|
T14 [ label="S0(1) R0(1) M0(4) M1(2) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T5 -> T14 [ label=<azione_locale_m>];
|
|
T15 [ label="S0(1) R0(1) M0(5) M1(1) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T5 -> T15 [ label=<copy_azione_locale_m>];
|
|
T5 -> T12 [ label=<Richiesta_Servizio>];
|
|
T16 [ label="S0(1) R0(1) M0(3) M1(3) copy_M0(6)
|
|
"];
|
|
T6 -> T16 [ label=<azione_locale_m>];
|
|
T6 -> T14 [ label=<copy_azione_locale_m>];
|
|
T6 -> T11 [ label=<Richiesta_Servizio>];
|
|
T17 [ label="S0(1) R0(1) M0(6) P1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T7 -> T17 [ label=<Scelta_1>];
|
|
T18 [ label="S0(1) R0(1) M0(6) P0(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T7 -> T18 [ label=<Scelta_2>];
|
|
T7 -> T13 [ label=<azione_locale_m>];
|
|
T19 [ label="S0(1) R0(1) M0(6) Freechoice(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T7 -> T19 [ label=<copy_azione_locale_m>];
|
|
T8 -> T15 [ label=<azione_locale_m>];
|
|
T20 [ label="S0(1) R0(1) M0(6) copy_M0(3) copy_M1(3)
|
|
"];
|
|
T8 -> T20 [ label=<copy_azione_locale_m>];
|
|
T8 -> T19 [ label=<copy_Richiesta_Servizio>];
|
|
T21 [ label="S1_a(1) S1_b(1) R0(1) M0(5) M2(1) copy_M0(6)
|
|
"];
|
|
T9 -> T21 [ label=<Inizio_Servizio_s>];
|
|
T22 [ label="S0(1) R0(1) M0(5) M2(1) P1(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T9 -> T22 [ label=<copy_azione_locale_m>];
|
|
T23 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) P1(1) copy_M0(6)
|
|
"];
|
|
T9 -> T23 [ label=<azione_locale_m>];
|
|
T24 [ label="S0(1) R1(1) M0(5) M2(1) copy_M0(6)
|
|
"];
|
|
T10 -> T24 [ label=<Inizio_Servizio_r>];
|
|
T25 [ label="S0(1) R0(1) M0(5) M2(1) P0(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T10 -> T25 [ label=<copy_azione_locale_m>];
|
|
T26 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) P0(1) copy_M0(6)
|
|
"];
|
|
T10 -> T26 [ label=<azione_locale_m>];
|
|
T27 [ label="S0(1) R0(1) M0(4) M2(2) Freechoice(2) copy_M0(6)
|
|
"];
|
|
T11 -> T27 [ label=<Richiesta_Servizio>];
|
|
T28 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) Freechoice(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T11 -> T28 [ label=<copy_azione_locale_m>];
|
|
T29 [ label="S0(1) R0(1) M0(3) M1(2) M2(1) Freechoice(1) copy_M0(6)
|
|
"];
|
|
T11 -> T29 [ label=<azione_locale_m>];
|
|
T11 -> T26 [ label=<Scelta_2>];
|
|
T11 -> T23 [ label=<Scelta_1>];
|
|
T30 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(2) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T12 -> T30 [ label=<copy_Richiesta_Servizio>];
|
|
T31 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T12 -> T31 [ label=<copy_azione_locale_m>];
|
|
T12 -> T28 [ label=<azione_locale_m>];
|
|
T12 -> T25 [ label=<Scelta_2>];
|
|
T12 -> T22 [ label=<Scelta_1>];
|
|
T32 [ label="S0(1) R0(1) M0(5) M1(1) P1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T13 -> T32 [ label=<Scelta_1>];
|
|
T33 [ label="S0(1) R0(1) M0(5) M1(1) P0(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T13 -> T33 [ label=<Scelta_2>];
|
|
T13 -> T30 [ label=<Richiesta_Servizio>];
|
|
T34 [ label="S0(1) R0(1) M0(5) M1(1) Freechoice(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T13 -> T34 [ label=<copy_azione_locale_m>];
|
|
T35 [ label="S0(1) R0(1) M0(4) M1(2) Freechoice(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T13 -> T35 [ label=<azione_locale_m>];
|
|
T14 -> T28 [ label=<Richiesta_Servizio>];
|
|
T36 [ label="S0(1) R0(1) M0(4) M1(2) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T14 -> T36 [ label=<copy_azione_locale_m>];
|
|
T37 [ label="S0(1) R0(1) M0(3) M1(3) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T14 -> T37 [ label=<azione_locale_m>];
|
|
T14 -> T35 [ label=<copy_Richiesta_Servizio>];
|
|
T15 -> T31 [ label=<Richiesta_Servizio>];
|
|
T38 [ label="S0(1) R0(1) M0(5) M1(1) copy_M0(3) copy_M1(3)
|
|
"];
|
|
T15 -> T38 [ label=<copy_azione_locale_m>];
|
|
T15 -> T36 [ label=<azione_locale_m>];
|
|
T15 -> T34 [ label=<copy_Richiesta_Servizio>];
|
|
T16 -> T29 [ label=<Richiesta_Servizio>];
|
|
T16 -> T37 [ label=<copy_azione_locale_m>];
|
|
T39 [ label="S0(1) R0(1) M0(2) M1(4) copy_M0(6)
|
|
"];
|
|
T16 -> T39 [ label=<azione_locale_m>];
|
|
T40 [ label="S1_a(1) S1_b(1) R0(1) M0(6) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T17 -> T40 [ label=<Inizio_Servizio_s>];
|
|
T41 [ label="S0(1) R0(1) M0(6) P1(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T17 -> T41 [ label=<copy_azione_locale_m>];
|
|
T17 -> T32 [ label=<azione_locale_m>];
|
|
T42 [ label="S0(1) R1(1) M0(6) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T18 -> T42 [ label=<Inizio_Servizio_r>];
|
|
T43 [ label="S0(1) R0(1) M0(6) P0(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T18 -> T43 [ label=<copy_azione_locale_m>];
|
|
T18 -> T33 [ label=<azione_locale_m>];
|
|
T44 [ label="S0(1) R0(1) M0(6) Freechoice(2) copy_M0(4) copy_M2(2)
|
|
"];
|
|
T19 -> T44 [ label=<copy_Richiesta_Servizio>];
|
|
T45 [ label="S0(1) R0(1) M0(6) Freechoice(1) copy_M0(3) copy_M1(2) copy_M2(1)
|
|
"];
|
|
T19 -> T45 [ label=<copy_azione_locale_m>];
|
|
T19 -> T34 [ label=<azione_locale_m>];
|
|
T19 -> T43 [ label=<Scelta_2>];
|
|
T19 -> T41 [ label=<Scelta_1>];
|
|
T20 -> T45 [ label=<copy_Richiesta_Servizio>];
|
|
T46 [ label="S0(1) R0(1) M0(6) copy_M0(2) copy_M1(4)
|
|
"];
|
|
T20 -> T46 [ label=<copy_azione_locale_m>];
|
|
T20 -> T38 [ label=<azione_locale_m>];
|
|
T47 [ label="S1_b(1) S2_a(1) R0(1) M0(5) M2(1) copy_M0(6)
|
|
"];
|
|
T21 -> T47 [ label=<azione_locale_sa>];
|
|
T48 [ label="S1_a(1) S2_b(1) R0(1) M0(5) M2(1) copy_M0(6)
|
|
"];
|
|
T21 -> T48 [ label=<azione_locale_sb>];
|
|
T49 [ label="S1_a(1) S1_b(1) R0(1) M0(4) M1(1) M2(1) copy_M0(6)
|
|
"];
|
|
T21 -> T49 [ label=<azione_locale_m>];
|
|
T50 [ label="S1_a(1) S1_b(1) R0(1) M0(5) M2(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T21 -> T50 [ label=<copy_azione_locale_m>];
|
|
T51 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) P1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T22 -> T51 [ label=<copy_Richiesta_Servizio>];
|
|
T52 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) P1(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T22 -> T52 [ label=<azione_locale_m>];
|
|
T53 [ label="S0(1) R0(1) M0(5) M2(1) P1(1) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T22 -> T53 [ label=<copy_azione_locale_m>];
|
|
T22 -> T50 [ label=<Inizio_Servizio_s>];
|
|
T54 [ label="S0(1) R0(1) M0(4) M2(2) Freechoice(1) P1(1) copy_M0(6)
|
|
"];
|
|
T23 -> T54 [ label=<Richiesta_Servizio>];
|
|
T55 [ label="S0(1) R0(1) M0(3) M1(2) M2(1) P1(1) copy_M0(6)
|
|
"];
|
|
T23 -> T55 [ label=<azione_locale_m>];
|
|
T23 -> T52 [ label=<copy_azione_locale_m>];
|
|
T23 -> T49 [ label=<Inizio_Servizio_s>];
|
|
T56 [ label="S0(1) R2(1) M0(5) M2(1) copy_M0(6)
|
|
"];
|
|
T24 -> T56 [ label=<Azione_locale>];
|
|
T57 [ label="S0(1) R1(1) M0(4) M1(1) M2(1) copy_M0(6)
|
|
"];
|
|
T24 -> T57 [ label=<azione_locale_m>];
|
|
T58 [ label="S0(1) R1(1) M0(5) M2(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T24 -> T58 [ label=<copy_azione_locale_m>];
|
|
T59 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) P0(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T25 -> T59 [ label=<copy_Richiesta_Servizio>];
|
|
T60 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) P0(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T25 -> T60 [ label=<azione_locale_m>];
|
|
T61 [ label="S0(1) R0(1) M0(5) M2(1) P0(1) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T25 -> T61 [ label=<copy_azione_locale_m>];
|
|
T25 -> T58 [ label=<Inizio_Servizio_r>];
|
|
T62 [ label="S0(1) R0(1) M0(4) M2(2) Freechoice(1) P0(1) copy_M0(6)
|
|
"];
|
|
T26 -> T62 [ label=<Richiesta_Servizio>];
|
|
T63 [ label="S0(1) R0(1) M0(3) M1(2) M2(1) P0(1) copy_M0(6)
|
|
"];
|
|
T26 -> T63 [ label=<azione_locale_m>];
|
|
T26 -> T60 [ label=<copy_azione_locale_m>];
|
|
T26 -> T57 [ label=<Inizio_Servizio_r>];
|
|
T27 -> T54 [ label=<Scelta_1>];
|
|
T27 -> T62 [ label=<Scelta_2>];
|
|
T64 [ label="S0(1) R0(1) M0(3) M1(1) M2(2) Freechoice(2) copy_M0(6)
|
|
"];
|
|
T27 -> T64 [ label=<azione_locale_m>];
|
|
T65 [ label="S0(1) R0(1) M0(4) M2(2) Freechoice(2) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T27 -> T65 [ label=<copy_azione_locale_m>];
|
|
T66 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) Freechoice(2) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T28 -> T66 [ label=<copy_Richiesta_Servizio>];
|
|
T28 -> T52 [ label=<Scelta_1>];
|
|
T28 -> T60 [ label=<Scelta_2>];
|
|
T67 [ label="S0(1) R0(1) M0(3) M1(2) M2(1) Freechoice(1) copy_M0(5) copy_M1(1)
|
|
"];
|
|
T28 -> T67 [ label=<azione_locale_m>];
|
|
T68 [ label="S0(1) R0(1) M0(4) M1(1) M2(1) Freechoice(1) copy_M0(4) copy_M1(2)
|
|
"];
|
|
T28 -> T68 [ label=<copy_azione_locale_m>];
|
|
T28 -> T65 [ label=<Richiesta_Servizio>];
|
|
T29 -> T55 [ label=<Scelta_1>];
|
|
T29 -> T63 [ label=<Scelta_2>];
|
|
T69 [ label="S0(1) R0(1) M0(2) M1(3) M2(1) Freechoice(1) copy_M0(6)
|
|
"];
|
|
T29 -> T69 [ label=<azione_locale_m>];
|
|
T29 -> T67 [ label=<copy_azione_locale_m>];
|
|
T29 -> T64 [ label=<Richiesta_Servizio>];
|
|
T30 -> T51 [ label=<Scelta_1>];
|
|
T30 -> T59 [ label=<Scelta_2>];
|
|
T30 -> T66 [ label=<azione_locale_m>];
|
|
T70 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(2) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T30 -> T70 [ label=<copy_azione_locale_m>];
|
|
T31 -> T53 [ label=<Scelta_1>];
|
|
T31 -> T61 [ label=<Scelta_2>];
|
|
T31 -> T68 [ label=<azione_locale_m>];
|
|
T71 [ label="S0(1) R0(1) M0(5) M2(1) Freechoice(1) copy_M0(3) copy_M1(3)
|
|
"];
|
|
T31 -> T71 [ label=<copy_azione_locale_m>];
|
|
T31 -> T70 [ label=<copy_Richiesta_Servizio>];
|
|
T72 [ label="S1_a(1) S1_b(1) R0(1) M0(5) M1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T32 -> T72 [ label=<Inizio_Servizio_s>];
|
|
T73 [ label="S0(1) R0(1) M0(4) M1(2) P1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T32 -> T73 [ label=<azione_locale_m>];
|
|
T74 [ label="S0(1) R0(1) M0(5) M1(1) P1(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T32 -> T74 [ label=<copy_azione_locale_m>];
|
|
T32 -> T51 [ label=<Richiesta_Servizio>];
|
|
T75 [ label="S0(1) R1(1) M0(5) M1(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T33 -> T75 [ label=<Inizio_Servizio_r>];
|
|
T76 [ label="S0(1) R0(1) M0(4) M1(2) P0(1) copy_M0(5) copy_M2(1)
|
|
"];
|
|
T33 -> T76 [ label=<azione_locale_m>];
|
|
T77 [ label="S0(1) R0(1) M0(5) M1(1) P0(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T33 -> T77 [ label=<copy_azione_locale_m>];
|
|
T33 -> T59 [ label=<Richiesta_Servizio>];
|
|
T78 [ label="S0(1) R0(1) M0(5) M1(1) Freechoice(2) copy_M0(4) copy_M2(2)
|
|
"];
|
|
T34 -> T78 [ label=<copy_Richiesta_Servizio>];
|
|
T79 [ label="S0(1) R0(1) M0(4) M1(2) Freechoice(1) copy_M0(4) copy_M1(1) copy_M2(1)
|
|
"];
|
|
T34 -> T79 [ label=<azione_locale_m>];
|
|
T80 [ label="S0(1) R0(1) M0(5) M1(1) Freechoice(1) copy_M0(3) copy_M1(2) copy_M2(1)
|
|
"];
|
|
T34 -> T80 [ label=<copy_azione_locale_m>];
|
|
T34 -> T70 [ label=<Richiesta_Servizio>];
|
|
T34 -> T77 [ label=<Scelta_2>];
|
|
T34 -> T74 [ label=<Scelta_1>];
|
|
T81 [shape=none label="..."];
|
|
T35 -> T81 [ label=<azione_locale_m>];
|
|
T35 -> T79 [ label=<copy_azione_locale_m>];
|
|
T35 -> T66 [ label=<Richiesta_Servizio>];
|
|
T35 -> T76 [ label=<Scelta_2>];
|
|
T35 -> T73 [ label=<Scelta_1>];
|
|
T36 -> T79 [ label=<copy_Richiesta_Servizio>];
|
|
T82 [shape=none label="..."];
|
|
T36 -> T82 [ label=<azione_locale_m>];
|
|
T83 [shape=none label="..."];
|
|
T36 -> T83 [ label=<copy_azione_locale_m>];
|
|
T36 -> T68 [ label=<Richiesta_Servizio>];
|
|
T81 [shape=none label="..."];
|
|
T37 -> T81 [ label=<copy_Richiesta_Servizio>];
|
|
T84 [shape=none label="..."];
|
|
T37 -> T84 [ label=<azione_locale_m>];
|
|
T82 [shape=none label="..."];
|
|
T37 -> T82 [ label=<copy_azione_locale_m>];
|
|
T37 -> T67 [ label=<Richiesta_Servizio>];
|
|
T38 -> T80 [ label=<copy_Richiesta_Servizio>];
|
|
T83 [shape=none label="..."];
|
|
T38 -> T83 [ label=<azione_locale_m>];
|
|
T85 [shape=none label="..."];
|
|
T38 -> T85 [ label=<copy_azione_locale_m>];
|
|
T38 -> T71 [ label=<Richiesta_Servizio>];
|
|
T86 [shape=none label="..."];
|
|
T39 -> T86 [ label=<azione_locale_m>];
|
|
T84 [shape=none label="..."];
|
|
T39 -> T84 [ label=<copy_azione_locale_m>];
|
|
T39 -> T69 [ label=<Richiesta_Servizio>];
|
|
T87 [shape=none label="..."];
|
|
T40 -> T87 [ label=<azione_locale_sa>];
|
|
T88 [shape=none label="..."];
|
|
T40 -> T88 [ label=<azione_locale_sb>];
|
|
T40 -> T72 [ label=<azione_locale_m>];
|
|
T89 [shape=none label="..."];
|
|
T40 -> T89 [ label=<copy_azione_locale_m>];
|
|
T90 [shape=none label="..."];
|
|
T41 -> T90 [ label=<copy_Richiesta_Servizio>];
|
|
T41 -> T74 [ label=<azione_locale_m>];
|
|
T91 [shape=none label="..."];
|
|
T41 -> T91 [ label=<copy_azione_locale_m>];
|
|
T89 [shape=none label="..."];
|
|
T41 -> T89 [ label=<Inizio_Servizio_s>];
|
|
T92 [shape=none label="..."];
|
|
T42 -> T92 [ label=<Azione_locale>];
|
|
T42 -> T75 [ label=<azione_locale_m>];
|
|
T93 [shape=none label="..."];
|
|
T42 -> T93 [ label=<copy_azione_locale_m>];
|
|
T94 [shape=none label="..."];
|
|
T43 -> T94 [ label=<copy_Richiesta_Servizio>];
|
|
T43 -> T77 [ label=<azione_locale_m>];
|
|
T95 [shape=none label="..."];
|
|
T43 -> T95 [ label=<copy_azione_locale_m>];
|
|
T93 [shape=none label="..."];
|
|
T43 -> T93 [ label=<Inizio_Servizio_r>];
|
|
T90 [shape=none label="..."];
|
|
T44 -> T90 [ label=<Scelta_1>];
|
|
T94 [shape=none label="..."];
|
|
T44 -> T94 [ label=<Scelta_2>];
|
|
T44 -> T78 [ label=<azione_locale_m>];
|
|
T96 [shape=none label="..."];
|
|
T44 -> T96 [ label=<copy_azione_locale_m>];
|
|
T91 [shape=none label="..."];
|
|
T45 -> T91 [ label=<Scelta_1>];
|
|
T95 [shape=none label="..."];
|
|
T45 -> T95 [ label=<Scelta_2>];
|
|
T45 -> T80 [ label=<azione_locale_m>];
|
|
T97 [shape=none label="..."];
|
|
T45 -> T97 [ label=<copy_azione_locale_m>];
|
|
T96 [shape=none label="..."];
|
|
T45 -> T96 [ label=<copy_Richiesta_Servizio>];
|
|
T85 [shape=none label="..."];
|
|
T46 -> T85 [ label=<azione_locale_m>];
|
|
T98 [shape=none label="..."];
|
|
T46 -> T98 [ label=<copy_azione_locale_m>];
|
|
T97 [shape=none label="..."];
|
|
T46 -> T97 [ label=<copy_Richiesta_Servizio>];
|
|
T99 [shape=none label="..."];
|
|
T47 -> T99 [ label=<copy_azione_locale_m>];
|
|
T100 [shape=none label="..."];
|
|
T47 -> T100 [ label=<azione_locale_m>];
|
|
T101 [shape=none label="..."];
|
|
T47 -> T101 [ label=<azione_locale_sb>];
|
|
T102 [shape=none label="..."];
|
|
T48 -> T102 [ label=<copy_azione_locale_m>];
|
|
T103 [shape=none label="..."];
|
|
T48 -> T103 [ label=<azione_locale_m>];
|
|
T101 [shape=none label="..."];
|
|
T48 -> T101 [ label=<azione_locale_sa>];
|
|
T104 [shape=none label="..."];
|
|
T49 -> T104 [ label=<Richiesta_Servizio>];
|
|
T105 [shape=none label="..."];
|
|
T49 -> T105 [ label=<copy_azione_locale_m>];
|
|
T106 [shape=none label="..."];
|
|
T49 -> T106 [ label=<azione_locale_m>];
|
|
T103 [shape=none label="..."];
|
|
T49 -> T103 [ label=<azione_locale_sb>];
|
|
T100 [shape=none label="..."];
|
|
T49 -> T100 [ label=<azione_locale_sa>];
|
|
T107 [shape=none label="..."];
|
|
T50 -> T107 [ label=<copy_Richiesta_Servizio>];
|
|
T108 [shape=none label="..."];
|
|
T50 -> T108 [ label=<copy_azione_locale_m>];
|
|
T105 [shape=none label="..."];
|
|
T50 -> T105 [ label=<azione_locale_m>];
|
|
T102 [shape=none label="..."];
|
|
T50 -> T102 [ label=<azione_locale_sb>];
|
|
T99 [shape=none label="..."];
|
|
T50 -> T99 [ label=<azione_locale_sa>];
|
|
T109 [shape=none label="..."];
|
|
T51 -> T109 [ label=<Scelta_1>];
|
|
T110 [shape=none label="..."];
|
|
T51 -> T110 [ label=<Scelta_2>];
|
|
T107 [shape=none label="..."];
|
|
T51 -> T107 [ label=<Inizio_Servizio_s>];
|
|
T111 [shape=none label="..."];
|
|
T51 -> T111 [ label=<copy_azione_locale_m>];
|
|
T112 [shape=none label="..."];
|
|
T51 -> T112 [ label=<azione_locale_m>];
|
|
T113 [shape=none label="..."];
|
|
T52 -> T113 [ label=<Richiesta_Servizio>];
|
|
T105 [shape=none label="..."];
|
|
T52 -> T105 [ label=<Inizio_Servizio_s>];
|
|
T114 [shape=none label="..."];
|
|
T52 -> T114 [ label=<copy_azione_locale_m>];
|
|
T115 [shape=none label="..."];
|
|
T52 -> T115 [ label=<azione_locale_m>];
|
|
T112 [shape=none label="..."];
|
|
T52 -> T112 [ label=<copy_Richiesta_Servizio>];
|
|
T108 [shape=none label="..."];
|
|
T53 -> T108 [ label=<Inizio_Servizio_s>];
|
|
T116 [shape=none label="..."];
|
|
T53 -> T116 [ label=<copy_azione_locale_m>];
|
|
T114 [shape=none label="..."];
|
|
T53 -> T114 [ label=<azione_locale_m>];
|
|
T111 [shape=none label="..."];
|
|
T53 -> T111 [ label=<copy_Richiesta_Servizio>];
|
|
T117 [shape=none label="..."];
|
|
T54 -> T117 [ label=<Scelta_1>];
|
|
T118 [shape=none label="..."];
|
|
T54 -> T118 [ label=<Scelta_2>];
|
|
T104 [shape=none label="..."];
|
|
T54 -> T104 [ label=<Inizio_Servizio_s>];
|
|
T113 [shape=none label="..."];
|
|
T54 -> T113 [ label=<copy_azione_locale_m>];
|
|
T119 [shape=none label="..."];
|
|
T54 -> T119 [ label=<azione_locale_m>];
|
|
T106 [shape=none label="..."];
|
|
T55 -> T106 [ label=<Inizio_Servizio_s>];
|
|
T115 [shape=none label="..."];
|
|
T55 -> T115 [ label=<copy_azione_locale_m>];
|
|
T120 [shape=none label="..."];
|
|
T55 -> T120 [ label=<azione_locale_m>];
|
|
T119 [shape=none label="..."];
|
|
T55 -> T119 [ label=<Richiesta_Servizio>];
|
|
T121 [shape=none label="..."];
|
|
T56 -> T121 [ label=<Fine_Servizio_r>];
|
|
T122 [shape=none label="..."];
|
|
T56 -> T122 [ label=<copy_azione_locale_m>];
|
|
T123 [shape=none label="..."];
|
|
T56 -> T123 [ label=<azione_locale_m>];
|
|
T124 [shape=none label="..."];
|
|
T57 -> T124 [ label=<Richiesta_Servizio>];
|
|
T125 [shape=none label="..."];
|
|
T57 -> T125 [ label=<copy_azione_locale_m>];
|
|
T126 [shape=none label="..."];
|
|
T57 -> T126 [ label=<azione_locale_m>];
|
|
T123 [shape=none label="..."];
|
|
T57 -> T123 [ label=<Azione_locale>];
|
|
T127 [shape=none label="..."];
|
|
T58 -> T127 [ label=<copy_Richiesta_Servizio>];
|
|
T128 [shape=none label="..."];
|
|
T58 -> T128 [ label=<copy_azione_locale_m>];
|
|
T125 [shape=none label="..."];
|
|
T58 -> T125 [ label=<azione_locale_m>];
|
|
T122 [shape=none label="..."];
|
|
T58 -> T122 [ label=<Azione_locale>];
|
|
T110 [shape=none label="..."];
|
|
T59 -> T110 [ label=<Scelta_1>];
|
|
T129 [shape=none label="..."];
|
|
T59 -> T129 [ label=<Scelta_2>];
|
|
T127 [shape=none label="..."];
|
|
T59 -> T127 [ label=<Inizio_Servizio_r>];
|
|
T130 [shape=none label="..."];
|
|
T59 -> T130 [ label=<copy_azione_locale_m>];
|
|
T131 [shape=none label="..."];
|
|
T59 -> T131 [ label=<azione_locale_m>];
|
|
T132 [shape=none label="..."];
|
|
T60 -> T132 [ label=<Richiesta_Servizio>];
|
|
T125 [shape=none label="..."];
|
|
T60 -> T125 [ label=<Inizio_Servizio_r>];
|
|
T133 [shape=none label="..."];
|
|
T60 -> T133 [ label=<copy_azione_locale_m>];
|
|
T134 [shape=none label="..."];
|
|
T60 -> T134 [ label=<azione_locale_m>];
|
|
T131 [shape=none label="..."];
|
|
T60 -> T131 [ label=<copy_Richiesta_Servizio>];
|
|
T128 [shape=none label="..."];
|
|
T61 -> T128 [ label=<Inizio_Servizio_r>];
|
|
T135 [shape=none label="..."];
|
|
T61 -> T135 [ label=<copy_azione_locale_m>];
|
|
T133 [shape=none label="..."];
|
|
T61 -> T133 [ label=<azione_locale_m>];
|
|
T130 [shape=none label="..."];
|
|
T61 -> T130 [ label=<copy_Richiesta_Servizio>];
|
|
T118 [shape=none label="..."];
|
|
T62 -> T118 [ label=<Scelta_1>];
|
|
T136 [shape=none label="..."];
|
|
T62 -> T136 [ label=<Scelta_2>];
|
|
T124 [shape=none label="..."];
|
|
T62 -> T124 [ label=<Inizio_Servizio_r>];
|
|
T132 [shape=none label="..."];
|
|
T62 -> T132 [ label=<copy_azione_locale_m>];
|
|
T137 [shape=none label="..."];
|
|
T62 -> T137 [ label=<azione_locale_m>];
|
|
T126 [shape=none label="..."];
|
|
T63 -> T126 [ label=<Inizio_Servizio_r>];
|
|
T134 [shape=none label="..."];
|
|
T63 -> T134 [ label=<copy_azione_locale_m>];
|
|
T138 [shape=none label="..."];
|
|
T63 -> T138 [ label=<azione_locale_m>];
|
|
T137 [shape=none label="..."];
|
|
T63 -> T137 [ label=<Richiesta_Servizio>];
|
|
T139 [shape=none label="..."];
|
|
T64 -> T139 [ label=<Richiesta_Servizio>];
|
|
T140 [shape=none label="..."];
|
|
T64 -> T140 [ label=<copy_azione_locale_m>];
|
|
T141 [shape=none label="..."];
|
|
T64 -> T141 [ label=<azione_locale_m>];
|
|
T137 [shape=none label="..."];
|
|
T64 -> T137 [ label=<Scelta_2>];
|
|
T119 [shape=none label="..."];
|
|
T64 -> T119 [ label=<Scelta_1>];
|
|
T142 [shape=none label="..."];
|
|
T65 -> T142 [ label=<copy_Richiesta_Servizio>];
|
|
T143 [shape=none label="..."];
|
|
T65 -> T143 [ label=<copy_azione_locale_m>];
|
|
T140 [shape=none label="..."];
|
|
T65 -> T140 [ label=<azione_locale_m>];
|
|
T132 [shape=none label="..."];
|
|
T65 -> T132 [ label=<Scelta_2>];
|
|
T113 [shape=none label="..."];
|
|
T65 -> T113 [ label=<Scelta_1>];
|
|
T142 [shape=none label="..."];
|
|
T66 -> T142 [ label=<Richiesta_Servizio>];
|
|
T144 [shape=none label="..."];
|
|
T66 -> T144 [ label=<copy_azione_locale_m>];
|
|
T145 [shape=none label="..."];
|
|
T66 -> T145 [ label=<azione_locale_m>];
|
|
T131 [shape=none label="..."];
|
|
T66 -> T131 [ label=<Scelta_2>];
|
|
T112 [shape=none label="..."];
|
|
T66 -> T112 [ label=<Scelta_1>];
|
|
T140 [shape=none label="..."];
|
|
T67 -> T140 [ label=<Richiesta_Servizio>];
|
|
T146 [shape=none label="..."];
|
|
T67 -> T146 [ label=<copy_azione_locale_m>];
|
|
T147 [shape=none label="..."];
|
|
T67 -> T147 [ label=<azione_locale_m>];
|
|
T134 [shape=none label="..."];
|
|
T67 -> T134 [ label=<Scelta_2>];
|
|
T115 [shape=none label="..."];
|
|
T67 -> T115 [ label=<Scelta_1>];
|
|
T145 [shape=none label="..."];
|
|
T67 -> T145 [ label=<copy_Richiesta_Servizio>];
|
|
T143 [shape=none label="..."];
|
|
T68 -> T143 [ label=<Richiesta_Servizio>];
|
|
T148 [shape=none label="..."];
|
|
T68 -> T148 [ label=<copy_azione_locale_m>];
|
|
T146 [shape=none label="..."];
|
|
T68 -> T146 [ label=<azione_locale_m>];
|
|
T133 [shape=none label="..."];
|
|
T68 -> T133 [ label=<Scelta_2>];
|
|
T114 [shape=none label="..."];
|
|
T68 -> T114 [ label=<Scelta_1>];
|
|
T144 [shape=none label="..."];
|
|
T68 -> T144 [ label=<copy_Richiesta_Servizio>];
|
|
T141 [shape=none label="..."];
|
|
T69 -> T141 [ label=<Richiesta_Servizio>];
|
|
T147 [shape=none label="..."];
|
|
T69 -> T147 [ label=<copy_azione_locale_m>];
|
|
T149 [shape=none label="..."];
|
|
T69 -> T149 [ label=<azione_locale_m>];
|
|
T138 [shape=none label="..."];
|
|
T69 -> T138 [ label=<Scelta_2>];
|
|
T120 [shape=none label="..."];
|
|
T69 -> T120 [ label=<Scelta_1>];
|
|
T150 [shape=none label="..."];
|
|
T70 -> T150 [ label=<copy_Richiesta_Servizio>];
|
|
T151 [shape=none label="..."];
|
|
T70 -> T151 [ label=<copy_azione_locale_m>];
|
|
T144 [shape=none label="..."];
|
|
T70 -> T144 [ label=<azione_locale_m>];
|
|
T130 [shape=none label="..."];
|
|
T70 -> T130 [ label=<Scelta_2>];
|
|
T111 [shape=none label="..."];
|
|
T70 -> T111 [ label=<Scelta_1>];
|
|
T151 [shape=none label="..."];
|
|
T71 -> T151 [ label=<copy_Richiesta_Servizio>];
|
|
T152 [shape=none label="..."];
|
|
T71 -> T152 [ label=<copy_azione_locale_m>];
|
|
T148 [shape=none label="..."];
|
|
T71 -> T148 [ label=<azione_locale_m>];
|
|
T135 [shape=none label="..."];
|
|
T71 -> T135 [ label=<Scelta_2>];
|
|
T116 [shape=none label="..."];
|
|
T71 -> T116 [ label=<Scelta_1>];
|
|
T153 [shape=none label="..."];
|
|
T72 -> T153 [ label=<azione_locale_sa>];
|
|
T154 [shape=none label="..."];
|
|
T72 -> T154 [ label=<azione_locale_sb>];
|
|
T107 [shape=none label="..."];
|
|
T72 -> T107 [ label=<Richiesta_Servizio>];
|
|
T155 [shape=none label="..."];
|
|
T72 -> T155 [ label=<copy_azione_locale_m>];
|
|
T156 [shape=none label="..."];
|
|
T72 -> T156 [ label=<azione_locale_m>];
|
|
T112 [shape=none label="..."];
|
|
T73 -> T112 [ label=<Richiesta_Servizio>];
|
|
T157 [shape=none label="..."];
|
|
T73 -> T157 [ label=<copy_azione_locale_m>];
|
|
T158 [shape=none label="..."];
|
|
T73 -> T158 [ label=<azione_locale_m>];
|
|
T156 [shape=none label="..."];
|
|
T73 -> T156 [ label=<Inizio_Servizio_s>];
|
|
T159 [shape=none label="..."];
|
|
T74 -> T159 [ label=<copy_Richiesta_Servizio>];
|
|
T111 [shape=none label="..."];
|
|
T74 -> T111 [ label=<Richiesta_Servizio>];
|
|
T160 [shape=none label="..."];
|
|
T74 -> T160 [ label=<copy_azione_locale_m>];
|
|
T157 [shape=none label="..."];
|
|
T74 -> T157 [ label=<azione_locale_m>];
|
|
T155 [shape=none label="..."];
|
|
T74 -> T155 [ label=<Inizio_Servizio_s>];
|
|
T161 [shape=none label="..."];
|
|
T75 -> T161 [ label=<Azione_locale>];
|
|
T127 [shape=none label="..."];
|
|
T75 -> T127 [ label=<Richiesta_Servizio>];
|
|
T162 [shape=none label="..."];
|
|
T75 -> T162 [ label=<copy_azione_locale_m>];
|
|
T163 [shape=none label="..."];
|
|
T75 -> T163 [ label=<azione_locale_m>];
|
|
T131 [shape=none label="..."];
|
|
T76 -> T131 [ label=<Richiesta_Servizio>];
|
|
T164 [shape=none label="..."];
|
|
T76 -> T164 [ label=<copy_azione_locale_m>];
|
|
T165 [shape=none label= |