“Scheduling Flexible Manufacturing System with Stacker Crane Using Coloured Petri Nets” (2019) Jurnal Teknik Industri: Jurnal Keilmuan dan Aplikasi Teknik Industri, 20(2), pp. 113–126. doi:10.9744/jti.20.2.113-126.