Y. Gunardi, D. Hanafi, F. Supegina, and A. Adriansyah, “Mathematics Base for Navigation Mobile Robot Using Reachability Petri Net”, JTEC, vol. 10, no. 1-9, pp. 65–69, Feb. 2018.