Operazioni complete:  
1)     "DefferedChoice",
2)     "ExplicitChoice",
3)     "IterationOneOrMore",
4)     "IterationOneServePerTime",
5)     "IterationZeroOrMore",
6)     "Parallelism",
7)     "Sequencing",

Operazioni Ancora da Completare: 
1)   "MutualExclusion",
2)   "Alternation",
Dopo il merge ..

Operazioni Ancora da Completare: 
1)   "MutualExclusion",
2)   "Alternation",
Dopo il merge ..

Operazioni Ancora da Completare: 
1)   "MutualExclusion",
2)   "Alternation",