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