Penerapan Petri-Net Pada Model Gerakan Berjalan Walking Robot Berkaki Empat (Quadruped) - Kuzairi, Kuzairi (Universitas Islam Madura, 2015)