• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • One-dimensional Resource Workow Nets
  • 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

?

One-dimensional Resource Workow Nets

P. 11–20.
Vladimir A. Bashkin, Lomazova I. A.

Workflow Petri nets with an additional (unbounded) resource place are studied. Resource tokens can be consumed and/or produced by transitions, hence a net can have an infinite number of different reachable states. A net with a certain initial resource is called sound if it properly terminates and, moreover, adding any extra initial resource does not violate its proper termination. An (unmarked) net is sound if it is sound for some initial resource. We prove the decidability of both marked and unmarked soundness for one-dimensional workow nets and present an algorithm of the minimal sound resource calculation.

Language: English
Full text
Keywords: Petri netssoundnessresourcesworkflow nets
Publication based on the results of:
Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой (2012)

In book

Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013
Yaroslavl: Yaroslavl State University, 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
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
Совладание в контексте саморегуляции. Часть 2. Полиресурсная модель
Leontiev D., Психологический журнал 2025 Т. 46 № 2 С. 5–12
The paper continues the analysis of relationships between varied psychological mechanisms of overcoming difficult (critical) situations, viewed as forms of self-regulation in situations of critical challenges. A motivational model of coping by E. Skinner and K. Edge is presented, which is based on Self-Determination Theory by E. Deci and R. Ryan. Then the author’s theoretical poliresource model of ...
Added: September 11, 2025
Совладание в контексте саморегуляции. Часть 1. Концептуальные проблемы и вызовы
Leontiev D., Психологический журнал 2025 Т. 46 № 1 С. 5–13
The article is devoted to the consideration of the current state of the problem of coping with difficult life situations through the prism of L.I. Antsyferova`s methodological critique. Various views on the specifics of difficult situations generating coping reactions are analyzed and their connection to K. Jaspers` concept of borderline situations characterized by the need ...
Added: September 11, 2025
Resource endowments as antecedents of high-impact entrepreneurship: Embracing the complexity of entrepreneurial ecosystems
Tekic A., Tekic Z., Journal of Business Research 2025 Vol. 197 Article 115444
Entrepreneurial ecosystems, as spatially bounded resource allocation systems, are vital for the growth and scale-up of new ventures by facilitating access to financial, human, and social resources, which are considered to be essential for fostering Schumpeterian entrepreneurship. However, there is significant heterogeneity in resource endowments of high-impact ecosystems, challenging the prevailing thesis in entrepreneurial ecosystem ...
Added: May 19, 2025
Сырьевое эмбарго: резервы небольшие
Gnidchenko A., Монокль 2024 № 40
На третьем году санкционной войны наиболее масштабные поставки российского сырья на рынки недружественных стран почти обнулены. Очевидных кандидатов на контрсанкции немного — горячебрикетированное железо, окатыши, сжиженные нефтяные газы, каучуки и некоторые виды удобрений ...
Added: December 13, 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
Не только природные ресурсы: экстрактивизм как обобщающая концепция
Панфилов Н. Д., Dokhov R., Социологическое обозрение 2024 Т. 23 № 2 С. 340–363
The intensification of human impact on the environment, progressive global inequality and the escalating opposition to the resource logic of the perception of nature led to the formation at the beginning of the 21st century of a discourse surrounding extractivism — a special form of social relations leading to the transformation of development into resource ...
Added: July 1, 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
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
Защита слабого субъекта частноправового отношения в контексте новых вызовов и угроз
Гуляева О. Н., Вестник Прикамского социального института 2023 № 1(94) С. 84–90
The article is devoted to one of the aspects of the concept of weak subjects of private law relations. Based on the analysis of scientific doctrine and judicial practice, it was concluded that there are no real opportunities to influence one's will on the exercise and protection of subjective rights and legally significant interests for ...
Added: November 16, 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
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Bernardinello L., Irina Lomazova, Roman Nesterov et al., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets — a class of Petri nets. Interactions among components are encoded in an additional interface net. The proposed approach is used to model and compose synchronously and ...
Added: June 8, 2023
Ценности и ресурсы как факторы социального благополучия специалистов российских бизнес-организаций
Balabanova E. S., Мир России: Социология, этнология 2023 Т. 32 № 1 С. 6–36
This paper explores the comparative contribution of basic life and work values, and demographic, social, and professional resources in achieving the economic and psychological well-being of employees. The study is based on a sample of 1,100 professionals from Russian business organizations across 10 sectors of the economy. The findings reveal that both economic and psychological well-being are positively related to ...
Added: February 16, 2023
Architecture of a software system for designing robust business processes
Samoylova K., Zamyatina E., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Nowadays, in order for a company to remain competitive, efficient and attractive to investors it needs to have reliable and threat-resistant business processes. The question of methods for building such business processes remains relevant. This paper proposes a software system, which involves the use of methods and tools of DSM (Domain Specific Modeling), ontological approach, ...
Added: February 13, 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