-
Discovering Directly-Follows Graph Model for Acyclic Processes
Authors:
Nikita Shaimov,
Irina Lomazova,
Alexey Mitsyuk
Abstract:
Process mining is the common name for a range of methods and approaches aimed at analysing and improving processes. Specifically, methods that aim to derive process models from event logs fall under the category of process discovery. Within the range of processes, acyclic processes form a distinct category. In such processes, previously performed actions are not repeated, forming chains of unique…
▽ More
Process mining is the common name for a range of methods and approaches aimed at analysing and improving processes. Specifically, methods that aim to derive process models from event logs fall under the category of process discovery. Within the range of processes, acyclic processes form a distinct category. In such processes, previously performed actions are not repeated, forming chains of unique actions. However, due to differences in the order of actions, existing process discovery methods can provide models containing cycles even if a process is acyclic. This paper presents a new process discovery algorithm that allows to discover acyclic DFG models for acyclic processes. A model is discovered by partitioning an event log into parts that provide acyclic DFG models and merging them while avoiding the formation of cycles. The resulting algorithm was tested both on real-life and artificial event logs. Absence of cycles improves model visual clarity and precision, also allowing to apply cycle-sensitive methods or visualisations to the model.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Soundness Correction of Data Petri Nets
Authors:
Nikolai M. Suvorov,
Irina A. Lomazova,
Andrey Rivkin
Abstract:
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 design allows one to detect and eliminate design errors in a process to be implemented. The process of eliminating such errors is called soundness repair. In many repair scenarios, the resulting model should retain only the…
▽ More
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 design allows one to detect and eliminate design errors in a process to be implemented. The process of eliminating such errors is called soundness repair. In many repair scenarios, the resulting model should retain only the correct behavior of the source model, especially if a model is created manually. In this paper, we consider this type of soundness repair applied to data-aware process models represented as data Petri nets (DPNs). Specifically, we investigate the capabilities to repair soundness of DPNs by restricting the transition guards and propose a new repair algorithm that follows this approach. A distinctive feature of the algorithm is the absence of a requirement for an input DPN to have a sound control flow. The algorithm is implemented and results of the preliminary evaluation demonstrate its applicability to process models of moderate sizes.
△ Less
Submitted 15 February, 2025; v1 submitted 28 October, 2024;
originally announced October 2024.
-
Discovering Hierarchical Process Models: an Approach Based on Events Clustering
Authors:
Antonina K. Begicheva,
Irina A. Lomazova,
Roman A. Nesterov
Abstract:
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 this technology for optimization and improving their processes. However, a discovered process model may be too detailed, sophisticated and difficult for experts to understand. In this paper, we consider the problem of disc…
▽ More
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 this technology for optimization and improving their processes. However, a discovered process model may be too detailed, sophisticated and difficult for experts to understand. In this paper, we consider the problem of discovering a hierarchical business process model from a low-level event log, i.e., the problem of automatic synthesis of more readable and understandable process models based on information stored in event logs of information systems.
Discovery of better structured and more readable process models is intensively studied in the frame of process mining research from different perspectives. In this paper, we present an algorithm for discovering hierarchical process models represented as two-level workflow nets. The algorithm is based on predefined event ilustering so that the cluster defines a sub-process corresponding to a high-level transition at the top level of the net. Unlike existing solutions, our algorithm does not impose restrictions on the process control flow and allows for concurrency and iteration.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Authors:
Julio C. Carrasquel,
Irina A. Lomazova
Abstract:
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 distributed systems. CPNs allow us to descri…
▽ More
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 distributed systems. CPNs allow us to describe an expected causal ordering between system activities and how data attributes of domain-related objects (e.g., orders to trade) must be transformed. Event logs consist of traces corresponding to runs of a real system. By comparing CPNs and event logs, different types of deviations can be detected. Using this method, we report the validation of a real-life trading system.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Soundness in Object-centric Workflow Petri Nets
Authors:
Irina A. Lomazova,
Alexey A. Mitsyuk,
Andrey Rivkin
Abstract:
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 is decidable.
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 is decidable.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Modeling MOOC learnflow with Petri net extensions
Authors:
Irina A. Lomazova,
Alexey A. Mitsyuk,
Aliya M. Sharipova
Abstract:
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 classical and Colored Petri nets. These extensions facilit…
▽ More
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 classical and Colored Petri nets. These extensions facilitate modeling distributed and multi-agent processes. However, existing Petri net extensions do not provide the ability to model an education process in the context of multi-course programs and adaptive learning. We propose \emph{Petri nets with reference data} (PNRDs) for modeling e-learning in MOOCs. PNRDs allow us to represent a model of the education process in a visual, clear and not overloaded form. Moreover, PNRDs enable us to display aspects of multi-course programs and dynamic changes in the MOOC education process. We also show how PNRDs can be used to model online student collaboration in project-based learning.
△ Less
Submitted 18 October, 2021;
originally announced November 2021.
-
Resource Bisimilarity in Petri Nets is Decidable
Authors:
Irina Lomazova,
Vladimir Bashkin,
Petr Jančar
Abstract:
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 transition firings. We define a resource as a part (a submultiset) of Petri net markings and call two resources equivalent when replacing one of them with another in any marking does not change the observable Petri net…
▽ More
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 transition firings. We define a resource as a part (a submultiset) of Petri net markings and call two resources equivalent when replacing one of them with another in any marking does not change the observable Petri net behavior. We consider resource similarity and resource bisimilarity, two congruent restrictions of bisimulation equivalence on Petri net markings. Previously it was proved that resource similarity (the largest congruence included in bisimulation equivalence) is undecidable. Here we present an algorithm for checking resource bisimilarity, thereby proving that this relation (the largest congruence included in bisimulation equivalence that is a bisimulation) is decidable. We also give an example of two resources in a Petri net that are similar but not bisimilar.
△ Less
Submitted 3 October, 2022; v1 submitted 19 January, 2021;
originally announced January 2021.
-
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
Authors:
Khalil Mecheraoui,
Julio C. Carrasquel,
Irina A. Lomazova
Abstract:
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, one can perform conformance checking between each projected log and the corresponding component. We formally demonstrate the validity of our approach proving that, to check fitness of a nested Petri net is equivalent to…
▽ More
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, one can perform conformance checking between each projected log and the corresponding component. We formally demonstrate the validity of our approach proving that, to check fitness of a nested Petri net is equivalent to check fitness of each of its components. Leveraging the multi-agent system structure of nested Petri nets, this approach may provide specific conformance diagnostics for each system component as well as to avoid to compute artificial boundaries when decomposing a model for conformance checking.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Authors:
Luca Bernardinello,
Irina Lomazova,
Roman Nesterov,
Lucia Pomello
Abstract:
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 asynchronously inte…
▽ More
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 asynchronously interacting workflow nets. Using Petri net morphisms and their properties, we prove that the composition of interacting workflow nets preserves the correctness of components and of an interface.
△ Less
Submitted 2 August, 2022; v1 submitted 15 January, 2020;
originally announced January 2020.
-
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
Authors:
Luca Bernardinello,
Irina Lomazova,
Roman Nesterov,
Lucia Pomello
Abstract:
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 discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general scheme of wor…
▽ More
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 discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general scheme of workflow net composition. By using morphisms, we prove that this composition preserves soundness of components. A quality evaluation shows the increase in the precision of models discovered by the proposed approach.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
