Leonardo A, Joelianto E, Hadisupadmo S. Perancangan Safety Shutdown System pada Kepala Sumur Minyak dengan Menggunakan Analisis Pemodelan Petrinet. JOKI [Internet]. 2015Aug.14 [cited 2025May21];7(1):9. Available from: https://journals.itb.ac.id/index.php/joki/article/view/3982