• 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
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

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
Discovering object-centric Petri nets with parametric arcs
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Object-centric process mining has emerged as a powerful paradigm for analyzing event data involving multiple interacting business objects. Existing discovery techniques often rely on object-centric Petri nets with fixed arc multiplicities, limiting their ability to represent parametric resource consumption and production patterns and to capture quantitative dependencies between interacting object types. In this paper, we ...
Added: September 24, 2026
Интегральная оценка сценариев кибератак на АСУ ТП с применением цифрового двойника и киберполигона
Lebedev O. B., Митяков Е. С., Саенко И. Б. et al., Информация и космос 2026 № 1 С. 53–58
The article presents a methodology for the integrated assessment of cyberattacks on industrial control systems (ICS) using a combination of the Ampire cyber range and a digital twin. The approach is based on calculating five criteria—severity, attacker capabilities, vulnerability, complexity, and defense effectiveness—that form an integrated threat index. Testing across three scenarios confirmed the index's ...
Added: September 13, 2026
КОМБИНАТОРНЫЙ АНАЛИЗ СХЕМ РАЗМЕЩЕНИЯ ЧАСТИЦ С ЗАДАННЫМ МАКСИМАЛЬНЫМ УРОВНЕМ ЗАПОЛНЕНИЯ ЯЧЕЕК
Enatskaya N., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 139–147
The class of particle cell arrangements under consideration is characterized by the introduction of an upper limit on the filling levels of the cells, which must be achieved in at least one cell of each outcome of each arrangement. The circuits are distinguished by the paired qualities of their constituent elements (cells and particles) according ...
Added: September 11, 2026
Профессиональная верификация: Руководство по продвинутой функциональной верификации
Уилкокс П., 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
  • 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