?
One-dimensional Resource Work ow 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.
In book
Yaroslavl: Yaroslavl State University, 2013.
Е. 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
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
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
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
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
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
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
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
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
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