Deadlock free buffer allocation in closed queueing networks