Petri Nets approach to simulate and control of Flexible Manufacturing Systems
Deadlock control methods in automated manufacturing systems