Leonardo, A., E. Joelianto, and S. Hadisupadmo. “Perancangan Safety Shutdown System Pada Kepala Sumur Minyak Dengan Menggunakan Analisis Pemodelan Petrinet”. Jurnal Otomasi Kontrol Dan Instrumentasi, vol. 7, no. 1, Aug. 2015, p. 9, doi:10.5614/joki.2015.7.1.2.