Keywords – operational graphs