Text this: Mathematics base for navigation mobile robot using reachability petri net