Mathematics Base for Navigation Mobile Robot Using Reachability Petri Net

Yudhi Gunardi, Dirman Hanafi, Fina Supegina, Andi Adriansyah


Navigation is the journey that brings the precision and accuracy especially for the trip from one place to many destinations. Traveling mobile robot will be challenged when there are plenty of travel options and obstacles; it is necessary for special methods to deal with this. Petri net modeling is one method that can be applied in this navigation. As a model network graph, Petri net can be seen as a model of superior visuals for their token moves that define the process dynamics of a system. Other models that have been provided, such as flow charts, block diagrams or network topology, are using the method of mathematical reachability. Meanwhile Petri net obtained the navigation as a result of marking the value. The final results of this research is that Petri net can be used to obtain mobile robot for navigation.


Petri Net; Marking; Mobile Robot; Navigation;

Full Text:



M. Engin and D. Engin, “Path planning of line follower robot,” EDERC 2012 - Proc. 5th Eur. DSP Educ. Res. Conf., pp. 1–5, 2012.

O. Gumus, M. Topaloglu, and D. Ozcelik, “The use of computer controlled line follower robots in public transport,” Procedia - Procedia Comput. Sci., vol. 102, no. August, pp. 202–208, 2016.

A. Al-Ahmari, “Optimal robotic cell scheduling with controllers using mathematically based timed Petri nets,” Inf. Sci. (Ny)., vol. 329, pp. 638–648, 2016.

K. Lv and Y. Liu, “Modeling and Simulation of Flowers Production Logistics Based on Petri Net,” 2015 8th Int. Conf. Intell. Networks Intell. Syst., pp. 113–116, 2015.

E. S. Puga-velazquez, “ScienceDirect Task-based Coordination Coordination Cells using using Petri Petri Nets and Nets ISA standards Task-based Coordination of Flexible Manufacturing Cells using Petri Nets and and,” IFAC-PapersOnLine, vol. 49, no. 12, pp. 1008–1013, 2016.

A. Adriansyah, Y. Gunardi, B. Badaruddin, and E. Ihsanto, “Goalseeking Behavior-based Mobile Robot Using Particle Swarm Fuzzy Controller,” TELKOMNIKA (Telecommunication Comput. Electron. Control., vol. 13, no. 2, p. 528, 2015.

T. Y. Lim, C. F. Yeong, E. L. M. Su, S. F. Chik, P. J. H. Chin, and P. H. Tan, “Performance Evaluation of Various 2-D Laser Scanners for Mobile Robot Map Building and Localization,” J. Telecommun. Electron. Comput. Eng., vol. 8, no. 11, pp. 105–109, 2016.

C. E. S. Puga-velazquez and J. A. M. Campaña, “ScienceDirect of AGV ’ s in FMS using Petri Nets of AGV AGV ’ s s in in FMS FMS Petri Nets,” 2015.

Y. Huang, “A simulation modeling method based on Petri net,” in 2015 IEEE 2nd International Conference on Cyber Security and Cloud Computing A, 2015.

T. Boucher, Computer Automation in Manufacturing: An Introduction. 1996.


  • There are currently no refbacks.

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

ISSN: 2180-1843

eISSN: 2289-8131