A. Leonardo, E. Joelianto, dan S. Hadisupadmo, “Perancangan Safety Shutdown System pada Kepala Sumur Minyak dengan Menggunakan Analisis Pemodelan Petrinet”, JOKI, vol. 7, no. 1, hlm. 9, Agu 2015.