[Advcomparch] Διαγράμματα μεταβάσεων σε μοντέλα coherence