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