Articles
| Open Access |
DOI: Formal Modeling and Analysis of Data Flow in API-Integrated Systems Using the Petri Net Model
Rustamxon Mexmonov , Associate Professor of the Tashkent Branch of the University of Business and Science, Uzbekistan Otabek Shukurov , Master’s student of the Tashkent Branch of the University of Business and Science, UzbekistanAbstract
This work considers the issue of integrating Internet of Things (IoT) resources into business process management systems. The modern business environment requires processes to be flexible, reusable, and quickly adapt to different conditions. Therefore, configurable process models are considered an effective approach that reduces the need to develop processes from scratch and forms options that meet business requirements. However, the heterogeneity of IoT devices, resource limitations, energy consumption, computational costs, and interoperability problems complicate their full integration into business processes. Existing studies have mainly analyzed the control flow or human resources, and the perspective of IoT resources has not been sufficiently studied. This work proposes a formal introduction of IoT resources into business process models, taking into account their sharing and redeployment properties, and a configurable distribution approach. The proposed model is evaluated based on real data, and its effectiveness and practical applicability are substantiated.
Keywords
Petri nets, API integration, real-time process
References
C.A.Petri, Kommunikation mit Automaten, Ph.D. dissertation, Darmstadt University of Technology, 1962.
L. A. Cortés, A Petri Net Based Modeling and Verification Technique for Real-Time Embedded Systems, Ph.D. dissertation, Linköping University, Sweden, 2001.
A. Achilleos, Model-Driven Petri Net Based Framework for Pervasive Service Creation, Ph.D. dissertation, 2010.
Y.Li, Diagnosis of Large Software Systems Based on Colored Petri Nets, Ph.D. dissertation, Université Paris-Sud XI, France, 2010.
D.L.Lages, A Colored Petri Net-Based Model for Internet of Things Networks, thesis, Universidade Federal de Pernambuco, 2024.
Y.M.A.Alsarhan, A General High-Coloured Petri Net-Based Approach to the Estimation of the Lifetime of Wireless Battery-Powered Nodes in Internet of Things, Ph.D. dissertation, University of Portsmouth, 2021.
P.Kasinathan, Workflow-Aware Access Control for the Internet of Things, Ph.D. dissertation, Universität Passau, 2021.
N.Aldahash, Assuring Agent Interaction Through Run-Time Monitoring and Control, Ph.D. thesis, University of York, 2023.
M.Wojnakowski, Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems, doctoral dissertation, 2021.
K. Suri, Modeling the Internet of Things in Configurable Process Models, Ph.D. thesis, Université Paris-Saclay, 2019.
R. Hamadi and B. Benatallah, “A Petri Net-Based Model for Web Service Composition,” in Proc. 14th Australasian Database Conf. (ADC), vol. 17, pp. 191–200, 2003.
V. Valero, M. E. Cambronero, G. Díaz, and H. Macià, “A Petri Net Approach for the Design and Analysis of Web Services Choreographies,” Journal of Logic and Algebraic Programming, vol. 78, no. 5, pp. 359–380, 2009.
S. Chemaa, F. Bachtarzi, and A. Chaoui, “A High-Level Petri Net Based Approach for Modeling and Composition of Web Services,” Procedia Computer Science, vol. 9, pp. 469–478, 2012, doi: 10.1016/j.procs.2012.04.050.
F. Zhang, Y. Xu, and J. Chou, “A Novel Petri Nets-Based Modeling Method for the Interaction Between the Sensor and the Geographic Environment in Emerging Sensor Networks,” Sensors, vol. 16, no. 10, Art. no. 1571, 2016, doi: 10.3390/s16101571.
L.Ni, J.Zhang, C.Jiang, C.Yan, and K.Yu, “Resource Allocation Strategy in Fog Computing Based on Priced Timed Petri Nets,” IEEE Internet of Things Journal, vol. 4, no. 5, pp. 1216–1228, 2017, doi: 10.1109/JIOT.2017.2709814.
Z.Guo, Y. Zhang, X. Zhao, and X. Song, “A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems,” Applied Sciences, vol. 7, no. 3, Art. no. 235, 2017.
J.P.da Silva Fonseca, A. R. de Sousa, and J. J.-P. Z. de Souza Tavares, “Modeling and Controlling IoT-Based Devices’ Behavior with High-Level Petri Nets,” Procedia Computer Science, 2023.
D. Strzęciwilk, “Timed Petri Nets for Modeling and Performance Evaluation of a Priority Queueing System,” Energies, vol. 16, no. 23, Art. no. 7690, 2023, doi: 10.3390/en16237690.
Y. Bao, “A Design Strategy for Real-Time IoT Systems Based on Petri Net,” International Journal of Sensor Networks, 2023, doi: 10.1504/IJSNET.2023.134904.
C.Y. Yang, Y.N. Lin, V. R. L. Shen, F.H.C.Shen, and Y.C. Lin, “Petri Net Modeling and Analysis of an IoT-Enabled System for Real-Time Monitoring of Eggplants,” Systems Engineering, vol. 28, no. 2, pp. 270–283, 2025.
Download and View Statistics
Copyright License
Copyright (c) 2026 Rustamxon Mexmonov, Otabek Shukurov
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors retain the copyright of their manuscripts, and all Open Access articles are disseminated under the terms of the Creative Commons Attribution License 4.0 (CC-BY), which licenses unrestricted use, distribution, and reproduction in any medium, provided that the original work is appropriately cited. The use of general descriptive names, trade names, trademarks, and so forth in this publication, even if not specifically identified, does not imply that these names are not protected by the relevant laws and regulations.