General Principles of Application of Temporal Petri Nets in Intelligent Real-Time Decision Support Systems of Railway Automation of Uzbekistan

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.