Dynamic queueing networks by Haverkort