• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Controlling boundedness for live Petri nets
  • 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 14, 2026
At HSE University–St Petersburg, Experts Discuss How AI Changes Tourist Routes and Cultural Heritage
Neural networks are no longer simple travel assistants; now they decide what to include on the route and what to skip. Artificial intelligence changes how people perceive a place and shapes the image of tourist centres. At the II International Scientific and Practical Conference ’Information Technologies in the Preservation and Promotion of Cultural Heritage,’ researchers discussed who controls algorithmic solutions and in what ways, and whether authentic traditions get lost in them.
October 12, 2026
Road Injuries Leading Cause of Death Among Men Aged 10 to 39
Worldwide, road injuries are the leading cause of death among males aged 10–39. An international team of researchers reached this conclusion as part of the Global Burden of Disease Study 2023, analysing data from 204 countries between 1990 and 2023. Their findings have been published in The Lancet Public Health, with HSE University Professor Vasily Vlassov listed among the collaborators.
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.

 

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

?

Controlling boundedness for live Petri nets

P. 0236–0241.
Lomazova I. A., Popova-Zeugmann L., Bartels A.

In this paper we study how it is possible to control Petri net behavior using priority and time constraints. Controlling here means forcing a process to behave in a stable way by associating priorities, or time intervals to transitions and hence transforming a classic Petri net into a Petri net with priorities, or a Time Petri net. For Petri net models stability is often ensured by liveness and boundedness. These properties are crucial in many application areas, e.g. workflow modeling, embedded systems design, and bioinformatics. The paper deals with the problem of transforming a given live, but unbounded Petri net into a live and bounded one by adding transition constraints. We extend the previously proposed priority solution and compare the ability to find solutions with priority and time constraints for a given Petri net.

Language: English
Full text
DOI
Text on another site
Keywords: controlPetri netsboundednessliveness
Publication based on the results of:
Synthesis and analysis of process models (2017)

In book

International Conference on Control, Decision and Information Technologies, CoDIT 2017, Barcelona, Spain, April 5-7, 2017
IEEE, 2017.
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., Лебедев Б. К., Бесхмельнов М. И., Известия ЮФУ. Технические науки 2024 № 2(242) С. 177–190
This article examines algorithms for generating motion trajectories for unmanned aerial vehicles (UAVs) during search-and-rescue and emergency response operations. It describes methods and algorithms for controlling the movement of a UAV group in various formations—such as line, rank, column, and during turns. Control is achieved through alternative collective adaptation algorithms based on principles of collective ...
Added: September 13, 2026
UAV Swarm Control with Operator-Leader-Followers Approach
Vaschenko A., Frolov O., Safin R. et al., , in: 16th International Conference on Intelligent Systems, INTELS 2024, Moscow, Russia, December 2–4, 2024, Proceedings, Part I. Intelligent Systems. (CCIS, volume 2603).: Springer, 2025. P. 311–324.
Swarm robotics is a complex domain within multi-robot systems that encompasses formation control, movement control, and interUAV communication. Coordinates task execution requires effctive swarm control, which relies on robust motion control algorithms and reliable data exchange mechanisms. In this work, we propose an operator-leaderfollowers approach for managing UAV swarms. It comprises the following components: centralized swarm control utilizing ...
Added: March 17, 2026
Implementation of Rev1 and Rev2 Bug Family Algorithms in ROS Noetic
Roslavtsev M., Eryomin A., Safin R. et al., , in: 2024 8th International Conference on Information, Control, and Communication Technologies (ICCT).: IEEE, 2024. P. 1–5.
Modern map-dependent algorithms for mobile robot navigation typically overload a CPU and memory with a gradually increasing amount of environmental data. In contrast, Bug family local path planning algorithms operate without mapping and have significantly lower hardware requirements. Bug algorithms use real-time measurements from visual and touch sensors to make immediate decisions on direction of ...
Added: November 25, 2025
ROS-based navigation in unknown environment using the InsertBug algorithm: Issues of practical usage
Nekerov I., Safin R., Tsoy T. et al., Ученые записки Казанского университета. Серия: Физико-математические науки 2025 Vol. 167 No. 1 P. 38–53
BUG algorithms are effective strategies for local path planning in unknown environments. This article presents a practical implementation of the InsertBug algorithm using the Robot Operating System (ROS) and highlights its challenges. The algorithm relies on laser sensor and odometry data to construct a locally optimal path in an unknown terrain. Its evaluation was performed ...
Added: November 25, 2025
Преемственность и новизна в организации и деятельности конституционных советов республик в составе Российской Федерации
Kryazhkov V., Брежнев О. В., Государство и право 2025 № 10 С. 108–117
The article reveals the main features characterizing the continuity and novelty in the organization and activities of constitutional councils created in four republics within the Russian Federation. Continuity affects the normative legal aspects of their status, the procedure for their formation, individual issues of organization and competence, and is also associated with decisions of regional ...
Added: October 27, 2025
Государственный контроль (надзор) за соблюдением трудового законодательства
Гусев А. Ю., В кн.: Трудовое право. Особенная часть: учебник для вузов: 3-е изд., перераб. и доп.: Юрайт, 2025. Гл. 13 С. 473–488.
Глава включает в себя институты трудового права: надзора и контроля за соблюдением трудового законодательства, защиты трудовых прав, трудовых споров. ...
Added: September 29, 2025
Анализ факторов, влияющих на управление денежными потоками предприятия
Чан Ф. Т., Староверова О. В., Kosov M., Аудиторские ведомости 2025 № 2 С. 129–134
This article is devoted to the study of factors affecting enterprise cash flow management. Methods of analysis and synthesis of peer-reviewed scientific sources on this issue are applied. As a result of the research, two groups of factors have been identified and systematized: objective factors (state economic policy, customer influence) and subjective factors (competence of ...
Added: September 22, 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
2022 IEEE Conference on Control Technology and Applications (CCTA)(Italy, Trieste, August 22-25, 2022)
IEEE, 2022.
Dear contributors, authors and participants of IEEE CCTA 2022 in Trieste, As Program Chair I would like to thank you for your contributions for this important conference concerning control applications in CSS IEEE. Although we had a very uncertain situation with COVID19 we had more than 360 papers submitted. Very early, we decided to held the ...
Added: August 9, 2025
Контроль в инфинитивной целевой конструкции при глаголах принести и взять в русском языке
Fedorov D., Вопросы языкознания 2025 № 4 С. 77–96
In the article I look at conjunctionless purpose infinitive usages with verbs prinesti ‘bring’ and vz’at’ ‘take’ in the matrix position in Russian. At first, it is unclear whether the expressed object is a dependent of the matrix verb or the embedded verb, and whether the two verbs form a single predicative complex or each ...
Added: April 21, 2025
Chaotic dynamics in an overlapping generations model: Forecasting and regularization
Tatyana A. Alexeeva, Kuznetsov N., Mokaev T. et al., Chaos, Solitons and Fractals 2025 Vol. 196 Article 116371
Irregular dynamics (especially chaotic) is often undesirable in economics because it presents challenges for predicting and controlling the behavior of economic agents. In this paper, we used an overlapping generations (OLG) model with a control function in the form of government spending as an example, to demonstrate an effective approach to forecasting and regulating chaotic ...
Added: April 20, 2025
Taxation of related parties transaction
Pavlov P., Управление мегаполисом 2010 № 6 С. 175–180
The article discusses the advantages of using preliminary pricing agreements for tax authorities and taxpayers applying transfer pricing. The experience of the USA and Germany, the recommendations of the OECD are studied, as well as the proposals of the Ministry of Finance of the Russian Federation on amendments to the Tax Code aimed at introducing ...
Added: January 18, 2025
Algorithmic management in the focus of sociology of technology
Yudina M., RUDN Journal of Sociology 2024 Vol. 24 No. 3 P. 734–746
This article considers the managerial aspect of digital transformation - various programs and infrastructure that have recently received the general name “algorithmic management”. The boom in the use of such tools occurred during the covid-19 pandemic as a unique set of circumstances for the digitalization of human life. The authorities of several countries monitored their ...
Added: October 18, 2024
Journal of Physics: Conference Series Volume 1260, 2019 Mechanical Science and Technology Update 23–24 April 2019, Omsk, Russian Federation
IOP Publishing, 2019.
This article is introduced into the perspective tendencies of the digital transformation of chemical enterprises which allow to improve the process of managing enterprises of the branch. Presented the algorithms of managing and technological information processing based on deep neural network apparatus. New approaches to data processing known as video analytics are applied; it allows ...
Added: October 7, 2024
Роль многофазовой структуры действия в классификации ситуаций по степени контролируемости (на материале английского языка)
Safina M., Известия Смоленского государственного университета 2021 Т. 2 № 54 С. 136–148
He article analyses utterances from modern English to establish the peculiarities of the process how the presence or absence of control is manifested in a situation as a multiphase process consisting of seven stages such as a wish, an intention, a decision, planning, preparation, an attempt, a result (success or failure). The implicative character of ...
Added: September 21, 2024
Стили научного руководства и их диагностика: разработка нового исследовательского инструмента
Gordeeva T. O., Marchuk L., Бутенко М. И., Вестник Российского университета дружбы народов. Серия: Психология и педагогика 2024 Т. 21 № 4 С. 967–991
Research activities of postgraduate and undergraduate students are an important component of the educational process and training of qualified specialists who can think and create new knowledge independently, and their choice of research career and, consequently, the scientific, technical and humanitarian progress of our country depends on their productive involvement in it. The results of ...
Added: September 19, 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
Об антропологии удачи: объекты моральной ответственности и нравственность случая
Эмеретли Х. С., Человек 2024 Т. 35 № 2 С. 103–120
The article examines one of the concepts of a consistent theory of morality — moral luck. It occurs when a person's moral standing is determined by factors beyond his control, or, in other words, by luck. However, all actions and their consequences are, to one degree or another, determined by such factors. In this aspect, ...
Added: September 10, 2024
Государственный контроль (надзор) и ведомственный контроль за соблюдением трудового законодательства и иных нормативных актов, содержащих нормы трудового права
Batusova E. S., В кн.: Способы и порядок защиты трудовых прав работника: учебное пособие для вузов.: М.: Юрайт, 2024. Гл. 1 С. 8–39.
The chapter is on general issues of legal regulation of supervision (control) in the field of labour, its federal, regional and municipal levels. ...
Added: July 3, 2024
Automation of adaptive control of complex objects states trajectories in artificial intelligence systems
Mutin D., Kaperko A., Sorokin S. et al., International Journal on Information Technologies and Security 2024 Vol. 16 No. 1 P. 57–64
Today, the problem of automating the control of the individual trajectory of the states of complex objects is relevant. It is necessary to influence the individual trajectory of the object's states, guided by certain parameters. The reaction should be adequate to change these parameters. The aim of the work is reasonable automation of adaptive control ...
Added: March 6, 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