spice control loop model pll
Start with using this website. It has a lot of the linear basic theory programmed. Pick a national pll chip that is similar (ie same charge pump output current) as the MAX part, and away you go.
If you stay in the linear region, PLL's are very simple linear control loops. Any good program with a control loop analysis package can be used. That would be a second step, if you had more complicated PLL's with lots of extra poles and zeros, or phase and frequency parallel control paths, etc. (to do so, you would have to already be familiar with concepts like Bode diagram, Root Locus plot, Nyquist criteria, etc).
**broken link removed**