Analisi e sintesi automatica di coreografie di servizi usando Reti di Petri Colorate