The source codes model the resource allocation with spectrum defragmentation in eleastic optical networks (EON) using continuous time Markov chain models. The folder Exact/Approximate contains codes for evaluating exact/approximate blocking probability in EON.