Title: Korrektheit des Netzmodells fur den CCR-Algorithmus