?
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
P. 49–67.
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract models and their refinements are formalized using morphisms. Transformations proposed in this paper induce morphisms between elementary net systems as well as preserve their behavioral properties. We also show application of the proposed transformations to the construction of a correct composition of interacting workflow net components.
Language:
English
Publication based on the results of:
In book
Vol. 2651: CEUR Workshop Proceedings. , CEUR-WS.org, 2020.
Е. 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
М.: Издатель Александр Воробьев, 2024.
В монографию включены материалы Международной научной конференции «Восток и Африка в трансформации современной реальности», прошедшей в Москве, в Российском государственном гуманитарном университете 19 декабря 2023 года. Сборник включает статьи ведущих специалистов, аспирантов и магистров по востоковедческой проблематике и африканистике. Подборка докладов демонстрирует многообразие исследовательских направлений представленной области знаний, активно развиваемых в ведущих научно-образовательных организациях России ...
Added: November 3, 2024
Galeev A., / NRU Higher School of Economics. Series WP BRP "Economics/EC". 2024. No. 270/EC/2024.
The paper discusses Yuli Zhukovsky’s 1864 article “Smithian Direction and Positivism in Economics”, one of the first research in methodology of political economy in Russia. Zhukovsky contrasts the abstract theorising of classical economists like Adam Smith and David Ricardo with the empiricism of his contemporaries like Henry Macleod. Zhukovsky advocates for a deductive, universal approach ...
Added: November 2, 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
Baranova M., Svetlana Yu. Pavlina, Journal of Siberian Federal University. Series: Humanities & Social Sciences 2024 Vol. 17 No. 5 P. 950–962
This article is concerned with the creative use of intertextual elements in multimodal discourse. Specifically, it explores the way intertextuality is employed in political posters to shape the meaning and transmit the desired message. The material includes British and American campaign posters viewed as semiotically complex texts in which verbal and non-verbal modes build some ...
Added: May 15, 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
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
Arzhantsev I., Indagationes Mathematicae 2023 Vol. 34 No. 4 P. 812–819
We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admit a surjective morphism from an affine space. ...
Added: May 24, 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
Lomazova I. A., Mitsyuk A. A., Rivkin A., / Series Computer Science "arxiv.org". 2021.
Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem ...
Added: October 14, 2022
Анна Родионова, Новое литературное обозрение 2022 № 176 С. 254–269
The article analyzes 1950s--1960s poetry of “Lianozovo school” (especially Igor Kholin and Genrikh Sapgir) in connection with the ideology of scientific and technological progress (STP) and its influence on the aesthetic system of XX century Russian literature. This paper examines how the hallmarks of early 20th century literature (which later influenced the Soviet official aesthetics) ...
Added: June 6, 2022
Nesterov R., Bernardinello L., Lomazova I. A. et al., Software and Systems Modeling 2023 Vol. 22 P. 351–375
A process model discovered from an event log of a multi-agent system often does not fully cover certain viewpoints of its architecture. We consider those concerned with the structure of a model explicitly reflecting agent behavior and interactions. The direct discovery from an event log of a multi-agent system may result in an unclear model ...
Added: May 5, 2022
Bernardinello L., Irina Lomazova, Nesterov R. et al., , in: Transactions on Petri Nets and Other Models of Concurrency XVIVol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1–23.
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract models and their refinements are formalized using morphisms. Transformations proposed in this paper induce morphisms between elementary net systems as well as preserve their ...
Added: March 23, 2022
Springer, 2022.
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous ...
Added: March 23, 2022
Lomazova I. A., Mitsyuk A. A., Sharipova A., / Series Computer Science "arxiv.org". 2021.
Modern higher education takes advantage of MOOC technology. Modeling an education process of Massive open online courses (MOOCs) as a dynamic and multi-agent process is one of the challenging tasks. In this paper, Petri net extensions are investigated in the context of the learnflow modeling. It is shown how a learnflow can be modeled with ...
Added: December 2, 2021