Risoluzione dei problemi di incoerenza tra PVID e tipi nello Spanning Tree