“Scheduling Flexible Manufacturing System with Stacker Crane Using Coloured Petri Nets”, J. Tek. Ind. J. Keilmuan dan Apl. Tek. Ind., vol. 20, no. 2, pp. 113–126, Jan. 2019, doi: 10.9744/jti.20.2.113-126.