4 citations · 10 across the 9 of their papers we have counts for
9 papers
Soundness Correction of Data Petri Nets
Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
A process model is called sound if it always terminates properly and each model activity can occur in a process instance. Conducting soundness verification right after process desi…
Discovering Hierarchical Process Models: an Approach Based on Events Clustering
Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov
Process mining is a field of computer science that deals with discovery and analysis of process models based on automatically generated event logs. Currently, many companies use th…
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Julio C. Carrasquel, Irina A. Lomazova
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 deviati…
Soundness in Object-centric Workflow Petri Nets
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
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…
Modeling MOOC learnflow with Petri net extensions
Irina A. Lomazova, Alexey A. Mitsyuk, Aliya M. Sharipova
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…
Resource Bisimilarity in Petri Nets is Decidable
Irina Lomazova, Vladimir Bashkin, Petr Jančar
Petri nets are a popular formalism for modeling and analyzing distributed systems. Tokens in Petri net models can represent the control flow state or resources produced/consumed by…
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
Khalil Mecheraoui, Julio C. Carrasquel, Irina A. Lomazova
This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components,…
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
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…
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We…