A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets. - Shaoyong Li; Zhao Chunrun (Int. J. Syst. Sci., 2020)