Proceedings of International Conference on Applied Innovation in IT
2025/06/27, Volume 13, Issue 2, pp.197-204
General Principles of Application of Temporal Petri Nets in Intelligent Real-Time Decision Support Systems of Railway Automation of Uzbekistan
Asadulla Azizov and Elnara Ametova Abstract: The relevance of this study lies in the need for modern scientific and technological advancements to enhance railway transportation management, ensuring efficiency and safety amid increasing train traffic and freight turnover. The solution of these problems is primarily due to the need to use modern achievements of microelectronic technologies, telecommunication capabilities associated with a high risk of errors at the design stage of such, hybrid systems (containing simultaneously relay and microprocessor equipment) and extremely high price for these errors during operation. Petri Nets provide a mathematical framework for railway automation, yet their full potential in real-time intelligent decision support systems remains underexplored. The purpose of this paper is to synthesize and study a mathematical model with the possibility of organizing the work of simulated devices of railway automation and telemechanics with qualitative time dependencies, and the presence of priority for some operations and proposed extension of the apparatus of colored Petri nets (CPN) - PPN RT - with support for temporal interval logic Allen. The method of research is based on the fact that the set problems are solved using the methods of discrete mathematics, mathematical logic, graph theory, algebraic model theory and the method of analyzing the complexity of algorithms. The results obtained by the authors have practical and theoretical significance. The method of modeling of responsible circuits of railway automatics presented in the article will contribute to the effective implementation of microelectronic technologies in the existing relay systems of automation and telemechanics.
Keywords: Railway Automation, Graph Theory, Mathematical Modeling, Control Relays, Intelligent Systems, Petri Nets, Algorithms.
DOI: 10.25673/120438
Download: PDF
References:
- K. Hameed, "A state space approach via Discrete Hartley transform of type and For the solution of the State model of Linear time-invariant systems (L.T.I.S's.)," IJApSc, vol. 2, no. 1, pp. 53-60, Mar. 2025, [Online]. Available: https://doi.org/10.69923/k1qp1d65.
- A. Azizov, "Microelectronic device for control of rail line integrity in Uzbekistan," E3S Web of Conferences, vol. 583, p. 07007, 2024, [Online]. Available: https://doi.org/10.1051/e3sconf/202459207017.
- H. H. Saleh, W. Nsaif and L. Rashed, "Design and Implementation a Web-Based Collaborative E-Learning Model: A Case Study - Computer Science Department Curriculum," 2018 1st Annual International Conference on Information and Sciences (AiCIS), Fallujah, Iraq, 2018, pp. 193-200, [Online]. Available: https://doi.org/10.1109/AiCIS.2018.00045.
- N. Aripov, A. Sadikov and S. Ubaydullayev, "Intelligent signal detectors with random moment of appearance in rail lines monitoring systems," E3S Web of Conferences, vol. 264, p. 05039, 2021, [Online]. Available: https://doi.org/10.1051/e3sconf/202126405039.
- P. F. Bestemyanov, "Methods of Providing Hardware Safety for Microprocessor Train Control Systems," Russ. Electr. Eng., vol. 91, pp. 531-536, 2020, [Online]. Available: https://doi.org/10.3103/S1068371220090036.
- A. B. Nikitin, "Increasing the efficiency of electrical centralisation systems," Automation, communication, informatics, no. 4, pp. 4-7, 2010.
- K. Jensen, Coloured Petri Nets. Basic concepts, analysis methods and practical use, vol. 1-3, 1992-1997.
- J. F. Allen, "Maintaining knowledge about temporal intervals," Communications of the ACM, vol. 26, no. 11, pp. 832-843, 1983.
- J. Peterson, Petri net theory and the Modeling of Systems, Moscow: Mir, 1984.
- V. A. Khodakovsky, "Modeling of technical problems by Petri nets in the HPSim environment," in Actual issues of development of railway automation and telemechanics systems, V. V. Sapozhnikov, Ed., St. Petersburg: St. Petersburg State University of Railways, 2013, pp. 41-51.
- A. Sadikov, N. Aripov, Z. Yusupov and O. Vaisov, "Intelligent Processing Time Characteristics of the Flow of the Impulse Component of the Train Shunt Resistance," Lecture Notes in Networks and Systems, vol. 912 LNNS, 2024, [Online]. Available: https://doi.org/10.1007/978-3-031-53488-1_15.
- M. Loqman and N. Khalaf, "Preview the predictive performance of the STR, ENN, and STR-ENN hybrid models," IJApSc, vol. 1, no. 1, pp. 9-23, Jun. 2024, [Online]. Available: https://doi.org/10.69923/IJAS.2024.010102.
- O. Muhiddinov and S. Boltayev, "Route management modeling of high-speed trains on the train dispatcher section," E3S Web of Conferences, vol. 376, 2023, [Online]. Available: https://doi.org/10.1051/e3sconf/202337604033.
- N. M. Aripov, D. Kh. Baratov and D. Kh. Ruziev, "Formalized Methods of Analysis and Synthesis of Electronic Document Management of Technical Documentation," in Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS'2019), Batumi, Georgia, 2019, pp. 531-539, [Online]. Available: https://doi.org/10.1109/EWDTS.2019.8884415.
- S. T. Boltayev, R. B. Abdullaev, B. G. Ergashov and B. Q. Hasanov, "Simulation of a Safe Train Traffic Management System at the Stations," in 2022 Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus), Saint Petersburg, Russian Federation, 2022, pp. 566-571, [Online]. Available: https://doi.org/10.1109/ElConRus54750.2022.9755616.
- A. Manakov and A. Rakhmonberdiev, "Protection of track circuit equipment in case of failures in the AC traction network," Automation, Communication, Informatics, no. 10, p. 23, 2023, [Online]. Available: https://doi.org/10.34649/AT.2023.10.10.002.
- Q. A. Kosimova, S. I. Valiyev and S. T. Boltayev, "Method and Algorithm of the Automatic Warning System of Train Approaches to Railways," in 2022 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM), 2022, pp. 532-538, [Online]. Available: https://doi.org/10.1109/ICIEAM54945.2022.9787181.
- A. R. Azizov and F. F. Shakirova, "Method for assessing the diagnosis of the technical condition of an integrated microprocessor pulse generator of railway automation and telemechanic," IOP Conference Series: Materials Science and Engineering, vol. 862, p. 052073, 2020, [Online]. Available: https://doi.org/10.1088/1757-899X/862/5/052073.
- A. D. Khomonenko and M. M. Khalil, "Quantum computing in controlling railroads," E3S Web of Conferences, vol. 383, p. 01010, 2023, [Online]. Available: https://doi.org/10.1051/e3sconf/202338301010.
|

HOME

- Conference
- Journal
- Paper Submission to Journal
- For Authors
- For Reviewers
- Important Dates
- Conference Committee
- Editorial Board
- Reviewers
- Last Proceedings

PROCEEDINGS
-
Volume 13, Issue 2 (ICAIIT 2025)
-
Volume 13, Issue 1 (ICAIIT 2025)
-
Volume 12, Issue 2 (ICAIIT 2024)
-
Volume 12, Issue 1 (ICAIIT 2024)
-
Volume 11, Issue 2 (ICAIIT 2023)
-
Volume 11, Issue 1 (ICAIIT 2023)
-
Volume 10, Issue 1 (ICAIIT 2022)
-
Volume 9, Issue 1 (ICAIIT 2021)
-
Volume 8, Issue 1 (ICAIIT 2020)
-
Volume 7, Issue 1 (ICAIIT 2019)
-
Volume 7, Issue 2 (ICAIIT 2019)
-
Volume 6, Issue 1 (ICAIIT 2018)
-
Volume 5, Issue 1 (ICAIIT 2017)
-
Volume 4, Issue 1 (ICAIIT 2016)
-
Volume 3, Issue 1 (ICAIIT 2015)
-
Volume 2, Issue 1 (ICAIIT 2014)
-
Volume 1, Issue 1 (ICAIIT 2013)

PAST CONFERENCES
ICAIIT 2025
-
Photos
-
Reports
ICAIIT 2024
-
Photos
-
Reports
ICAIIT 2023
-
Photos
-
Reports
ICAIIT 2021
-
Photos
-
Reports
ICAIIT 2020
-
Photos
-
Reports
ICAIIT 2019
-
Photos
-
Reports
ICAIIT 2018
-
Photos
-
Reports
ETHICS IN PUBLICATIONS
ACCOMODATION
CONTACT US
|
|