A. Setiawan and T. E. N. Sitepu, “Scheduling Flexible Manufacturing System with Stacker Crane Using Coloured Petri Nets”, Jurnal Teknik Industri: Jurnal Keilmuan dan Aplikasi Teknik Industri, vol. 20, no. 2, pp. 113-126, Jan. 2019.