Penerapan Petri-Net Pada Model Gerakan Berjalan Walking Robot Berkaki Empat (Quadruped) - Kuzairi, Kuzairi (LPPM UIM Pamekasan, 2015)