• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 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
September 25, 2026
AI Users Earn Up to 41.8% More Than Non-Users
Research conducted by economists at HSE University has revealed a significant correlation between the regular use of GenAI in the workplace and higher pay among Russian employees. The study found that individuals who frequently use GenAI in their professional activities earn notably more than those who reject these new tools or resort to them occasionally. The salary premium for highly qualified specialists reaches 41.8%. The article was published in the Voprosy Ekonomiki journal.
September 24, 2026
‘Feedback and Constructive Criticism Are Essential in Our Profession
Vincent Fardeau, Associate Professor at HSE ICEF, has reached a major career milestone: he recently published his paper ‘Asymmetric Thin Markets’ in the Journal of Financial Economics, successfully passed his major academic review, and received tenure. In this interview, Vincent discusses the story behind the paper, explains the concept of asymmetric thin markets, and shares his advice for young scholars aiming to publish in top-tier journals.
September 22, 2026
Personal Interest in Doctoral Thesis Topic Most Important for Confidence in Successful Defence
A researcher at HSE University analysed data on 1,539 doctoral students from 161 Russian universities to identify which features of a thesis topic are associated with academic success and engagement. The most important factor was found to be personal interest in the research topic, which was associated with almost all key aspects of doctoral programme experience—from engaging with the academic supervisor to research activity and confidence about successfully defending the thesis. The findings have been published in Higher Education.

 

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

?

Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach

P. 92–103.
Carrasquel Gamez J. C., Lomazova I. A., Itkin I.

Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. Such processes were modelled as types of agents running in a multi-agent system (MAS) using nested Petri nets (NP-nets) - a convenient formalism for modelling MAS. With NP-nets, we focus on the control-flow perspective (causal dependence between activities executed by agents) and in the synchronization between agents. Conversely, we have used coloured Petri nets to extend the model including orders as objects with attributes. Thus, this work with Petri nets represents an experimental & initial research phase to validate trading systems using related methods such as process mining, simulations and model checking.

Language: English
Text on another site
Keywords: nested Petri netsPetri netsmulti-agent systemsprocess miningcolored Petri netstrading systems
Publication based on the results of:
Synthesis, recovery, conformance checking, and other methods for the analysis of process models and distributed information systems (2019)

In book

Proceedings of the MACSPro Workshop 2019
Vol. 2478: CEUR Workshop Proceedings. , CEUR-WS.org, 2019.
Similar publications
Управление передвижением группы БПЛА с соблюдением геометрической структуры строя на основе альтернативной коллективной адаптации
Lebedev O. B., Котов Д. В., Известия ЮФУ. Технические науки 2024 № 1(237) С. 155–167
The primary approach to solving motion planning and control problems involves the use of intelligent technologies. These technologies are applied to define and adjust control objectives and action programs, as well as to formulate control algorithms under conditions of uncertainty—stemming from various factors—across actuator elements and the motion control, planning, and behavioral subsystems. This paper ...
Added: September 13, 2026
Dynamic Formation of Robot Movement Route in Nondeterministic Environment with Bypassing Stationary and Nonstationary Obstacles
Lebedev O. B., Beskhmelnov M. I., PATTERN RECOGNITION AND IMAGE ANALYSIS. ADVANCES IN MATHEMATICAL THEORY AND APPLICATIONS 2024 Vol. 34 No. 3 P. 543–548
The work describes a hybrid algorithm for the dynamic formation of a robot’s movement route in nondeterministic environments with bypassing stationary and nonstationary obstacles for two-dimensional space, based on the integration of wave and ant algorithms, which makes it possible to build trajectories of minimum length in real time with simultaneous optimization of a number ...
Added: September 10, 2026
Методы сбора данных средствами БПЛА при мониторинге труднодоступной местности
Lebedev O. B., Лебедев Б. К., Известия ЮФУ. Технические науки 2026 № 2(250) С. 151–173
This paper proposes a methodology and method for constructing a model of the study area as a finite set of zones (sections) covering it, characterized by the fact that all sections are rectangular. The paper examines methods for forming a minimal set of sections on a large field that completely cover the accessible territory surveyed ...
Added: September 10, 2026
A control strategy for monitoring unknown flood regions by multiple UAVs
Song J., Bai Y., Svinin M. et al., Artificial Life and Robotics 2026 Vol. 31 No. 2 P. 365–377
This study introduces an innovative control approach for deploying multiple unmanned aerial vehicles (UAVs) to monitor an unknown food region. The proposed strategy is designed to optimally distribute UAVs across the food-afected area while cooperatively estimating the extent of inundation. To achieve this, an adaptive coverage controller is developed based on Centroidal Voronoi Tessellation (CVT), incorporating a novel ...
Added: March 17, 2026
Enhancing the Effectiveness of Management Decisions in Public Transport through Multi-Agent Technologies
Trofimov S., Ymer 2025 Vol. 24 No. 11 P. 1–18
This paper presents the development of a multi-agent system for managing the technical condition of bus fleets in public transport enterprises. The proposed solution aims to enhance management decision-making processes in vehicle maintenance through the implementation of intelligent agents and data analytics. The system is based on the interaction of two types of agents: "Bus," which collects ...
Added: January 24, 2026
Optimal Control for Stochastic Multi-agent Systems With the Use of Parallel Hybrid Genetic Algorithm
Akopov A. S., Beklaryan A., , in: Numerical Computations: Theory and Algorithms. 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023, Revised Selected Papers, Part IVol. 14476.: Springer Publishing Company, 2025. P. 273–280.
In modern times, stochastic large-scale multi-agent systems (MAS) aimed at supporting socio-economic planning are being developed. There is a well known problem of a high computational complexity task of an optimal control for multiple agents’ behaviour in models of random interactions. In particular, agents (such as sellers and buyers) should make individualised decisions on establishing ...
Added: November 23, 2025
2025 2nd International Conference on Intelligent Computing and Robotics (ICICR)
Dalian: IEEE, 2025.
The increasing complexity of modern software development necessitates intelligent, automated security analysis frameworks that can effectively pay attention of human on high-risk software releases. This paper introduces a Multi Agent System (MAS) framework designed to enhance the security assessment process by leveraging artificial intelligence (AI) and intelligent computing for real-time release analysis. The proposed system ...
Added: November 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
Merging Directly-Follows Graphs and Sankey Diagrams for Visualizing Acyclic Processes
Derezovskiy I., Shaimov N., Lomazova I. A. et al., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 4 P. 155–168
This paper proposes a method to visualize models of acyclic processes based on merging DirectlyFollows Graphs (DFG) and Sankey diagrams. DFG is a popular graphical model to visualize discrete process models, while Sankey diagrams are used to represent flows of any kind. Our approach, based on flow diagrams, allows us to highlight individual cases or ...
Added: October 3, 2024
Discovering hierarchical process models: an approach based on events partitioning
A. K. Begicheva, I. A. Lomazova, R. A. Nesterov, Modeling and Analysis of Information Systems 2024 Vol. 31 No. 3 P. 294–315
Process mining is a field of computer science that deals with the discovery and analysis of process models based on automatically generated event logs. Currently, many companies are using this technology to optimize and improve their business processes. However, a discovered process model may be too detailed, sophisticated, and difficult for experts to understand. In ...
Added: September 14, 2024
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Julio C. Carrasquel, Irina A. Lomazova, , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 94–106.
Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between colored Petri nets and event logs. Colored Petri nets (CPNs) are an extension of Petri nets, a formalism for modeling of ...
Added: January 31, 2024
Разработка конструктора правил генерации и обработки событийных рядов
Lyadova L. N., Платунов А. И., Информатизация и связь 2024 № 1 С. 84–89
Summary. The goal of the project is developing tools for generating and preprocessing event logs for process analysis using Process Mining methods. The implementation approach is based on low-code principles. Users should be able to develop their own rules for generating and processing event logs, including additional attributes, – event series. It is based on ...
Added: January 19, 2024
Typed Petri Nets with Variable Arc Weights
Lomazova I. A., Mitsyuk A. A., Rivkin A., , in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected PapersVol. 492.: Switzerland: Springer, 2024. P. 483–495.
Object-centric processes have become increasingly popular in the last years mainly due to the establishment of object-centric process mining. One of the most popular formalisms for describing lifecycles of objects and capturing relationships between them are object-centric Petri nets. An important feature of such nets is the ability to transfer an arbitrary number of same-typed ...
Added: January 17, 2024
Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers
Switzerland: Springer, 2024.
This book constitutes revised papers from the International Workshops held at the 21st International Conference on Business Process Management, BPM 2023, in Utrecht, The Netherlands, during September 2023. Papers from the following workshops are included: • 7th International Workshop on Artificial Intelligence for Business Process Management (AI4BPM 2023) • 7th International Workshop on Business Processes Meet Internet-of-Things (BP-Meet-IoT ...
Added: January 17, 2024
РАЗРАБОТКА КОНСТРУКТОРА ЖУРНАЛОВ СОБЫТИЙ С ДОПОЛНИТЕЛЬНЫМИ АТРИБУТАМИ
Платунов А. И., Lyadova L. N., В кн.: ТЕХНОЛОГИИ РАЗРАБОТКИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ (ТРИС-2023): материалы конференции.: Таганрог: Издательство ЮФУ, 2023. С. 113–122.
The goal of the project is to develop tools for generating and processing event logs including additional attributes for analyzing processes with Process Mining tools. Implementation are based on low-code principles. This enables non-programmers to develop their own data processing rules for generating and preprocessing event logs with additional attributes. The core of the system ...
Added: December 16, 2023
An Approach to Developing Ontology-Based Tools for Event Series Analysis
Anton Platunov, Lyudmila Lyadova, Matta N. et al., , in: IC3K 2023: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Volume 2: KEOD, Rome - Italy, November 13 - 15, 2023Vol. 2: KEOD.: Lisbon: SciTePress, 2023. P. 323–330.
Existing process mining methods allow to investigate processes in different domains. Besides mandatory event attributes like as identifier, activity, and timestamp, additional event attributes can be present in data sources. The analysing dynamics of changing the values of additional attributes allows to get important information on the system. The applications must be developed by programmers ...
Added: November 22, 2023
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32
The structure of a process model directly discovered from an event log of a multi-agent system often does not reflect the behavior of individual agents and their interactions. We suggest analyzing the relations between events in an event log to localize actions executed by different agents and involved in their asynchronous interaction. Then, a process ...
Added: October 31, 2023
  • 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