Modelling deadlock in open restricted queueing networks · Study