Firmansyah, Nur Akhmad (2017) JARINGAN PETRI NET UNTUK PENGATUR KERJA VALVE PADA SISTEM PIPA BERTEKANAN. Diploma thesis, POLITEKNIK PERKAPALAN NEGERI SURABAYA.