PENERPAN PETRI-NET PADA MODEL GERAKAN BERJALAN TROTTING ROBOT BERKAKI EMPAT (QUADRUPED) - Yulianto, Tony (UJMC (Unisda Journal of Mathematics and Computer Science), 2015)