Implementazione di un Tool per l'Elaborazione di Unstructured Global Graph

Global Graph è un linguaggio grafico utilizzato per modellare sistemi concorrenti. Il contributo fornito da questa tesi è rappresentato dallo sviluppo di Domitilla, un tool che permette l’elaborazione dei Global Graph. Le operazioni che Domitilla consente di fare sono la composizione parallela di due Global Graph e soprattutto la fusione di nodi all’interno dei Global Graph, che corrisponde a introdurre comunicazioni fra i partecipanti. Per effettuare la fusione è necessario generalizzare gli Structured Glo- bal Graph ottenendo degli Unstructured Global Graph. Domitilla consente inoltre di tradurre i Global Graph in reti di Petri.