A. H. Taha, M. H. F. Al Hazza, and E. Y. T. Adesta, “Modelling and Analysing Deadlock in Flexible Manufacturing System using Timed Petri Net”, IJEMM, vol. 2, no. 1, pp. 11–15, Mar. 2017.