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