YULIANTO, T. PENERPAN PETRI-NET PADA MODEL GERAKAN BERJALAN TROTTING ROBOT BERKAKI EMPAT (QUADRUPED). UJMC (Unisda Journal of Mathematics and Computer Science), v. 1, n. 01, p. 85 - 94, 1 jun. 2015.