• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
August 13, 2026
‘Working with AI Solves a Wide Range of Engineering Problems
Artificial intelligence is a working tool based on a balanced combination of algorithms and engineering. Experts and doctoral students from the HSE Moscow Institute of Electronics and Mathematics explain how AI technologies can improve an application, device, or system, and what engineering tasks are solved in the process.
August 12, 2026
‘I Would Like My Research to Help Make the World a Calmer and Better Place
Whatever task Saraa Ali, Junior Research Fellow at the Laboratory of Methods for Big Data Analysis (LAMBDA) of the AI and Digital Science Institute (HSE Faculty of Computer Science), is working on, she thinks about how it can benefit people. She told the Young Scientists of HSE University project about her large family, diagnosing three-phase motors, and her dream of building a children’s home in her native country.
August 11, 2026
‘The Peak of Stupidity and ‘The Valley of Despair: HSE Economists Propose an Explanation for the Dunning–Kruger Effect
The Dunning–Kruger effect, which describes a sharp surge in self-confidence among beginners followed by an equally rapid decline as they gain experience, can be explained by the nature of the learning process and the acquisition of new knowledge. This conclusion was reached by Andrey Vorchik of the HSE Faculty of Economic Sciences together with independent researcher Murat Mamyshev. They developed a mathematical model of learning and demonstrated how subjective confidence is formed and changes as knowledge accumulates, as well as how teachers can reduce the ‘valley of despair’ experienced by learners.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling

P. 13–25.
Vladimir A. Bashkin, Lomazova I. A., Novikova Y.

The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.

Language: English
Full text
Text on another site
Keywords: modelingDistributed systemsverificationPetri netsreal-time systemstimed automata
Publication based on the results of:
Process-aware information systems (2013)

In book

Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings
Vol. 7979: Lecture Notes in Computer Science. , Berlin, Heidelberg: Springer, 2013.
Similar publications
Профессиональная верификация: Руководство по продвинутой функциональной верификации
Уилкокс П., Romanov A., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ...
Added: July 30, 2026
Digital twin framework for liquidity management: Bridging the gap between theory and operations
Zanko G., Nazarova V., MULTIDISCIPLINARY SCIENCE JOURNAL 2026 Vol. 8 No. 10 P. e2026780
The corporate cash management problem (CMP) constitutes a critical operational challenge focused on determining the optimal sequence of transactions between liquid cash holdings and alternative investment assets. The primary objective is to maintain sufficient liquidity to meet obligations while simultaneously minimizing the aggregate costs associated with idle capital and transaction execution. Despite profound theoretical advancements ...
Added: May 10, 2026
Усилия в связях якорной системы раскрепления плавучего объекта при воздействии на него волн цунами
Беляев Н. Д., Лебедев В. В., Нуднер И. С. et al., Гидротехническое строительство 2025 № 11 С. 50–58
This paper presents a description of the experimental methodology and the results of experiments on the physical modeling of the interaction of long tsunami-type waves with an anchored structure. The forces in the mooring system connections under wave action are assessed. The obtained results are analyzed. Conclusions are drawn regarding the nature of the force ...
Added: March 25, 2026
A Tool for Mass Generation of Random Step Environment Models with User-Defined Landscape Features
Gabdrahmanov R., Tsoy T., Martinez-Garcia E. et al., , in: Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - (Volume 1) ICINCO 2024.: SciTePress, 2024. P. 511–518.
Computer simulations are growing in popularity in robotics research due to their near-zero cost of error and lower labor intensity. One of necessary components of a simulation, in addition to a robot model, is a model of a world in which the robot operates. While it is always possible to construct a world model manually, ...
Added: March 17, 2026
Modeling the Light Curves of Cosmic Gamma-Ray Bursts
Khabibullin A., A. S. Pozanenko, Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 4 P. 1459–1470
It is known that the light curve of a prompt emission of cosmic gamma-ray bursts consists of separate pulses. Moreover, in a real light curve these pulses often overlap so that it becomes impossible to study separately the pulses in each light curve. However, spectral analysis, in particular, the power spectral density (PSD) of light ...
Added: February 20, 2026
Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Simulation of a Reconfigurable Phased Antenna Array With Directional Beam Control
Ilyanova D. S., Nazarov I., Yelizarov (Elizarov) A. A. et al., , in: 2025 Systems of Signal Synchronization, Generating and Processing in Telecommunications (SYNCHROINFO).: IEEE, 2025. P. 1–6.
Added: December 6, 2025
LIRS-USim: a Gazebo-based Tool for Modeling Urban Environments and Sensory Data Uncertainties
Magid E., Abbyasov B., Lavrenov R. et al., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 5 P. 2382–2395
Urban Search and Rescue (USAR) robotics deals with emergent situations that occur in urban environments due to natural and human-made disasters. To support early stages of algorithms’ testing and evaluation, we developed an easy to use USAR simulation tool (LIRS-USim) that models typical USAR missions within the Gazebo simulator. The proposed robot operating system based ...
Added: November 25, 2025
Разработка концептуальной научно-методической модели проектирования изделий легкой промышленности в цифровой среде
Туханова В. Ю., Kankulov A., Костюмология 2025 Т. 9 № 4
The article presents the study focused on the development of a conceptual scientific and methodological model for designing products in the apparel and footwear industries within a digital environment. It examines the specific features of the design stages of light industry products, considering the integration of innovative technologies into higher education programs for training specialists ...
Added: October 3, 2025
InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
The structure of a process model discovered from an event log of a multi-agent system often does not reflect the system architecture with respect to agent interactions. The existing conformance checking quality dimensions mainly evaluate the extent to which the behavior a discovered model corresponds to event sequences recorded in an event log. These behavioral ...
Added: September 21, 2025
Reduction Method for a Network-on-Chip Low-Level Modeling
Lezhnev E., Romanov A., Telpukhov D. et al., Micromachines 2025 Vol. 16 No. 10 Article 1096
This article explores the concept of low-level modeling of networks-on-chip (NoCs). A method for reducing the low-level NoC model by replacing the real IP blocks with a data packet generator module is proposed. This makes it possible to significantly increase the maximum number of nodes in the simulated NoC, as well as speed up the ...
Added: September 17, 2025
Liquidity management models in a VUCA environment: Research focus shift.
Zanko Georgii, MULTIDISCIPLINARY SCIENCE JOURNAL 2025 Vol. 8 No. 1 P. e2026126
Effective cash management remains a persistent challenge in dynamic economic landscapes, particularly under VUCA conditions. While traditional cash management models, including stochastic programming, have offered valuable insights, their limitations in capturing rapid changes and unknown uncertainties are becoming increasingly apparent. This paper addresses this gap by conducting a comparative analysis between a Stochastic Goal Programming ...
Added: September 12, 2025
Обратная экстремальная задача в схеме размещения частиц комплектами
Enatskaya N., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 97–106
The article studies the schemes of particle allocation to cells in indistinguishable (scheme A) and distinguishable (scheme B) groups with the outcomes of achieveming a given minimum cell filling level. The schemes are analyzed by the enumerative method based on the construction of an iterative random process of direct non-repetitive numbered enumeration of their outcomes ...
Added: September 4, 2025
КОМБИНАТОРНЫЙ АНАЛИЗ ИСХОДОВ СХЕМЫ В ОБРАТНОЙ ЗАДАЧЕ РАЗМЕЩЕНИЯ ЧАСТИЦ ПО ЯЧЕЙКАМ
Enatskaya N., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 89–96
We consider a scheme C of allocating r = r(k) indistinguishable particles to n distinguishable cells until the occurrence of the event Ak, when for the first time there are k (k r) non-empty cells. The pre-asymptotic analysis of the scheme is carried out by an original enumerative method (EM) along the following lines: nonrepetitive ...
Added: September 4, 2025
An Investigation of the Effect of Intermittency on the Turbulent Field on Particle Acceleration in the Plasma Sheet of the Earth’s Magnetotail
Levashov N. N., V. Yu. Popov, Malova H. V. et al., Cosmic Research 2025 Vol. 63 No. 2 P. 164–169
Using a numerical model, the influence of intermittency on the acceleration of particles in the equatorial plane of the Earth’s magnetotail was studied. For comparison with observational data, we selected the event of July 17, 2001, when plasma flows with velocities of up to 400 km/s and an amplitude of the turbulent magnetic field of ...
Added: September 4, 2025
Mini-hydropower plant based on asynchronized synchronous generators equipped with self-tuning predictive speed controllers
Bulatov Y., Kryukov A., Suslov K., Renewable Energy 2026 Vol. 256. Part A P. 1–9
The integration of distributed generation into electric power systems requires advanced methods for control under normal, emergency, and post-emergency operating conditions. Distributed generation can rely on asynchronized synchronous generators (ASGs), which have advantages over synchronous machines. Their application however necessitates sophisticated automatic control systems. This study aims to identify the effects of a self-tuning predictive ...
Added: July 21, 2025
Методические указания для подготовки курсового проекта «Моделирование организации». 2-е изд.
Zaramenskikh E., Bruskin S., Gorchakov Y. V. et al., М.: Высшая школа бизнеса НИУ ВШЭ, 2022.
The course project “Organization Modeling” is a mandatory component of project and research work, which provides training of bachelor students of the HSE Graduate School of Business in the education program 38.03.05 “Business Informatics”. This cours project is conducted in accordance with the approved working curricula of bachelor’s degree programs in order to integrate previously ...
Added: May 11, 2025
Fast and Flexible Framework for Simulation of Distributed Systems
Oleg Sukhoroslov, Makogon A., , in: Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II* 2.: Springer, 2025. P. 90–106.
Added: February 22, 2025
Decentralized Public Transport Management System Based on Blockchain Technology
Stanislav Trofimov, Leonid Voskov, Mikhail Komarov, Applied Sciences (Switzerland) 2025 Vol. 15 No. 3 Article 1348
The development of intelligent transportation systems (ITSs) is penetrating many economies around the globe. This paper presents three key innovations in the field of intelligent transportation systems, as follows: (1) a novel tokenization approach where each vehicle is represented as a macro-token subdivided into 500,000 micro-tokens for precise condition monitoring, (2) a comprehensive mathematical model ...
Added: February 1, 2025
Adaptation of the Parameterization of the Nonlinear Energy Transfer for Short Fetch Conditions in the WAVEWATCH III Wave Prediction Model
Baydakov G., Dosaev A., Daniil S. et al., Izvestia, Atmospheric and Oceanic Physic 2020 Vol. 56 No. 2 P. 191–199
The parameterization of the nonlinear energy transfer called Discrete Interaction Approximation (DIA) is optimized in the WAVEWATCH III wave model by the criterion of minimizing deviations of model predictions from the data of field measurements. Short fetches are considered for which the wind-input source function had been previously adjusted. The results of the numerical simulation ...
Added: December 10, 2024
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit