Viswanadham, N and Narahari, Y and Johnson, Timothy L (1990) Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems using Petri Net Models. In: IEEE Transactions on Robotics and Automation, 6 (6). pp. 713-723.