[Constants] Refactor completo
Refactor tutti i file contenti costanti
[Interface] Inizio dei lavori sulle interfacce. Implementata la possibilità di inserirle. (le analisi non funzionano ancora).
[Interface] Inizio dei lavori sulle interfacce. Implementata la possibilità di inserirle. (le analisi non funzionano ancora).
Merge Saiddao con il refactor delle operazioni
Merge Saiddao con il refactor delle operazioni
Refactor e Versioning
Dopo il merge ..

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

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