Matched Funded PhD Studentship: Modelling Deadlock in Queueing System