usually a pdk provides all spice models for devices, but in my experience the files for digital synthesis, delay annotation and simulation of the stdcells are also part of the pdk, together with layout design rules, stdcell layout files, abstract views, all the stuff needed for place & route tools etc...