Gunardi, Y.; Hanafi, D.; Supegina, F.; Adriansyah, A. Mathematics Base for Navigation Mobile Robot Using Reachability Petri Net. JTEC 2018, 10, 65-69.