Vol. 8 No. 5 (2026): Ranah Research : Journal Of Multidisciplinary Research and Development

Pemodelan Matematis dan Simulasi MATLAB Navigasi Dua Arah Robot Delivery Menggunakan Mirror Petri Net

##plugins.themes.academic_pro.article.sidebar##

Download
PDF
Statistic

Downloads

Download data is not yet available.

##plugins.themes.academic_pro.article.main##

Astuti Damayanti
Program Studi Magister Teknik Elektro, Universitas Mercu Buana, Jakarta, Indonesia
Yudhi Gunardi
Program Studi Magister Teknik Elektro, Universitas Mercu Buana, Jakarta, Indonesia

Published

Aug 21, 2026

DOI

https://doi.org/10.38035/rrj.v8i5.2273

Abstract

Bidirectional navigation is required in robot delivery systems because the robot must reach a destination and return to its initial position after completing a task. Previous Petri Net studies have represented robot routes and location changes, but complete stepwise verification of outbound and return trips for multiple destinations remains limited. This study aims to develop a mathematical model and MATLAB simulation for bidirectional indoor robot delivery navigation using Petri Net and Mirror Petri Net. The model consists of 13 places, 12 transitions, one initial position, four branch points, eight destination rooms, and one token representing a robot. Eight outbound and eight return scenarios were simulated by checking enabled transitions, firing sequences, and marking changes. All eight destinations were reachable from the initial marking, and the initial position was reachable again from every destination. The outbound and return processes each required 28 firings, giving 56 firings for all round-trip tests. The model remained 1-bounded, conserved one token, made all 12 transitions accessible, and produced no unintended deadlock. The novelty lies in integrating stepwise bidirectional reachability, legal firing-sequence checking, and proper-termination verification in one MATLAB-based Mirror Petri Net framework.

##plugins.themes.academic_pro.article.details##

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Hak Cipta :

Penulis yang mempublikasikan manuskripnya di jurnal ini menyetujui ketentuan berikut:

  1. Hak cipta pada setiap artikel adalah milik penulis.
  2. Penulis mengakui bahwa Ranah Research : Journal of Multidisciplinary Research and Development berhak menjadi yang pertama menerbitkan dengan lisensi Creative Commons Attribution 4.0 International (Attribution 4.0 International CC BY 4.0) .
  3. Penulis dapat mengirimkan artikel secara terpisah, mengatur distribusi non-eksklusif manuskrip yang telah diterbitkan dalam jurnal ini ke versi lain (misalnya, dikirim ke repositori institusi penulis, publikasi ke dalam buku, dll.), dengan mengakui bahwa manuskrip telah diterbitkan pertama kali di Ranah Research.
How to Cite
Damayanti, A. and Gunardi, Y. (2026) “Pemodelan Matematis dan Simulasi MATLAB Navigasi Dua Arah Robot Delivery Menggunakan Mirror Petri Net”, Ranah Research : Journal of Multidisciplinary Research and Development, 8(5), pp. 3210-3219. doi: 10.38035/rrj.v8i5.2273.

References

Aizat, M., Othman, K. A., Aras, M. S. M., & Hairi, M. H. (2023). A survey on navigation approaches for automated guided vehicles and autonomous mobile robots. IEEE Access, 11, 33940–33965.
Azevedo, C., Matos, A., Lima, P. U., & Avendaño, J. (2021). Petri Net Toolbox for multi-robot planning under uncertainty. Applied Sciences, 11(24), 12087. https://doi.org/10.3390/app112412087
Cassandras, C. G., & Lafortune, S. (2021). Introduction to discrete event systems (3rd ed.). Springer.
da Mota, F. A. X., Rocha, M. X., Rodrigues, J. J. P. C., de Albuquerque, V. H. C., & Alexandria, A. R. (2018). Localization and navigation for autonomous mobile robots using Petri Nets in indoor environments. IEEE Access, 6, 31665–31676. https://doi.org/10.1109/ACCESS.2018.2846554
Figat, M., & Zieliński, C. (2020). Robotic system specification methodology based on hierarchical Petri Nets. IEEE Access, 8, 71617–71627. https://doi.org/10.1109/ACCESS.2020.2987099
Figat, M., & Zieliński, C. (2022). Parameterised robotic system meta-model expressed by hierarchical Petri nets. Robotics and Autonomous Systems, 150, 103987. https://doi.org/10.1016/j.robot.2021.103987
Gu, C., Ma, Z., & Li, Z. (2024). Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs. Automatica, 164, 111625. https://doi.org/10.1016/j.automatica.2024.111625
Gunardi, Y., & Hanafi, D. (2022). Petri net modeling for mobile robot motion in sharp turning cases. Proceedings of the International Seminar on Intelligent Technology and Its Applications, 1–6. https://doi.org/10.1109/ISITIA56226.2022.9855287
Gunardi, Y., Hanafi, D., Sulle, B., Supegina, F., & Torik. (2019). Mathematics base for mobile robot navigation using mirror Petri net method. Journal of Physics: Conference Series, 1230, 012026. https://doi.org/10.1088/1742-6596/1230/1/012026
Gunardi, Y., Hanafi, D., Supegina, F., & Adriansyah, A. (2018a). Mathematics base for navigation mobile robot using reachability Petri Net. Journal of Telecommunication, Electronic and Computer Engineering, 10(1-9), 65–69.
Gunardi, Y., Hanafi, D., Supegina, F., & Torik. (2018b). Design of navigation mobile robot using Mirror Petri Net method and radio frequency identification. Proceedings of the Electrical Power, Electronics, Communications, Controls and Informatics Seminar, 102–107. https://doi.org/10.1109/EECCIS.2018.8692926
Gunardi, Y., Jumadril, J. N., & Hanafi, D. (2021). A smart guidance navigation robot using Petri net, database location, and radio frequency identification. Bulletin of Electrical Engineering and Informatics, 10(4), 1874–1883. https://doi.org/10.11591/eei.v10i4.3077
Halder, S., & Afsari, K. (2023). Robots in inspection and monitoring of buildings and infrastructure: A systematic review. Applied Sciences, 13(4), 2304. https://doi.org/10.3390/app13042304
Huang, J., Junginger, S., Liu, H., & Thurow, K. (2023). Indoor positioning systems of mobile robots: A review. Robotics, 12(2), 47. https://doi.org/10.3390/robotics12020047
López, J., Marcano, M., García, D., Pérez, J. F., & Zalama, E. (2020). Implementing autonomous driving behaviors using a message driven Petri net framework. Sensors, 20(2), 449. https://doi.org/10.3390/s20020449
López, J., Santana-Alonso, A., & Díaz-Cacho Medina, M. (2019). Formal verification for task description languages: A Petri Net approach. Sensors, 19(22), 4965. https://doi.org/10.3390/s19224965
Mota, F. A. X., Batista, J. G., & Alexandria, A. R. (2024). Proposal of simultaneous localization and mapping for mobile robots indoor environments using Petri nets and computer vision. International Journal of Advanced Manufacturing Technology, 135, 3991–4014.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580. https://doi.org/10.1109/5.24143
Palacín, J., Rubies, E., Bitriá, R., & Clotet, E. (2023). Path planning of a mobile delivery robot operating in a multi-story building based on a predefined navigation tree. Sensors, 23(21), 8795. https://doi.org/10.3390/s23218795
Panigrahi, P. K., & Bisoy, S. K. (2022). Localization strategies for autonomous mobile robots: A review. Journal of King Saud University - Computer and Information Sciences, 34(8), 6019–6039. https://doi.org/10.1016/j.jksuci.2021.02.015
Rondoni, C., di Luzio, F. S., Tamantini, C., Zollo, L., Cordella, F., & Bravi, M. (2024). Navigation benchmarking for autonomous mobile robots in hospital environment. Scientific Reports, 14, 18334. https://doi.org/10.1038/s41598-024-69040-z
Su, Y., Qi, L., & Zhou, M. (2023). A backward algorithm to determine the existence of legal firing sequences in ordinary Petri Nets. IEEE Robotics and Automation Letters, 8(6), 3190–3197.
Tang, Y., Zakaria, M. A., & Younas, M. (2025). Path planning trends for autonomous mobile robot navigation: A review. Sensors, 25(4), 1206. https://doi.org/10.3390/s25041206