Narahari, Y and Viswanadham, N and Prasad, Krishna KR (1990) Markovian models for deadlock analysis in automated manufacturing systems. In: Sadhana, 15 (4-5). pp. 343-353.