?
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
P. 23-38.
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.
Language:
English
Publication based on the results of:
In book
Vol. 2115: CEUR Workshop Proceedings. , CEUR-WS.org, 2018
Roman A. Nesterov, Irina A. Lomazova, , in : Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 62-73.
Process models discovered from event logs of multi-agent systems may be complicated and unreadable. To overcome this problem, we suggest using a compositional approach. A system model is composed from agent models w.r.t. an interface. Morphisms guarantee that composition of correct models is correct. This study contributes to the practical implementation of the morphism-based compositional ...
Added: October 10, 2019
R.A. Nesterov, I.A. Lomazova, Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 21-38
Process mining offers various tools for studying process-aware information systems. They mainly involve several participants (or agents) managing and executing operations on the basis of process models. To reveal the actual behavior of agents, we can use process discovery. However, for large-scale processes, it does not yield models, which help understand how agents interact since ...
Added: September 6, 2017
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, 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
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
Begicheva A., Lomazova I. A., Nesterov R., / Cornell University. Series Computer Science "arxiv.org". 2023.
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 ...
Added: March 31, 2023
Kalenkova A. A., TU/e Eindhoven, 2018
Information systems in different domains, such as healthcare, tourism, banking, government and others, record operational behavior in the form of event logs. The process mining discipline offers dozens of techniques to discover, analyze, and visualize processes running in information systems, based on their event logs. The representational bias (the language for processes representation) plays an ...
Added: June 14, 2018
Bernardinello L., Irina Lomazova, Nesterov R. et al., , in : Transactions on Petri Nets and Other Models of Concurrency XVI. Vol. 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
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Added: March 19, 2011
N. S. Zubkova, S. A. Shershakov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 139-150
UML Activity Diagrams are widely used models for representing software processes. Models built from event logs, recorded by information systems, can provide valuable insights into real flows in processes and suggest ways of improving those systems. This paper proposes a novel method for mining UML Activity Diagrams from event logs. The method is based on ...
Added: October 28, 2019
Vladimir A. Bashkin, Lomazova I. A., , in : 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. P. 11-20.
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 ...
Added: July 14, 2013
Kalenkova A. A., van der Aalst W., Lomazova I. A. et al., , in : MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. : NY : ACM, 2016. P. 123-123.
Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with ...
Added: October 8, 2016
Vladimir A. Bashkin, Lomazova I. A., , in : Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13). Satellite events of the 34th International Conference on Application and Theory of Petri Nets and Concurrency. Milano, Italy, June, 2013. Vol. 989: CEUR Workshop Proceedings.: [б.и.], 2013. P. 61-75.
In this work we consider modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. We do not constrain neither the intermediate nor final resource markings, hence a net can have ...
Added: August 17, 2013
Kalenkova A. A., van der Aalst W., Lomazova I. A. et al., Software and Systems Modeling 2017 Vol. 16 No. 4 P. 1019-1048
Process-aware information systems (PAIS) are systems relying on processes, which involve human and software resources to achieve concrete goals. There is a need to develop approaches for modeling, analysis, improvement and monitoring processes within PAIS. These approaches include process mining techniques used to discover process models from event logs, find log and model deviations, and ...
Added: June 11, 2015
Roman A. Nesterov, Irina A. Lomazova, , in : Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. Vol. 779: Communications in Computer and Information Science.: Springer, 2018. P. 151-162.
Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the so-called state space explosion problem, when the size of the system reachability set grows exponentially on the number of interacting agents. ...
Added: October 7, 2017
Bernardinello L., Lomazova I. A., Nesterov R. et al., , in : Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. 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 ...
Added: August 12, 2020
Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A., , in : Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020). Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34-45.
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 ...
Added: January 14, 2021
Carrasquel Gamez J. C., Lomazova I. A., Itkin I., , in : Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 92-103.
Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. ...
Added: October 14, 2019
R.A. Nesterov, S.Yu. Savelyev, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 155-170
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by ...
Added: August 9, 2021
Vladimir A. Bashkin, Lomazova I. A., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Resource-driven automata (RDA) are finite automata, sitting in the nodes of a finite system net and asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). RDAs themselves may be resources for each other, thus allowing the highly flexible structure of the model. It was proved earlier, that RDA-nets are expressively equivalent ...
Added: November 28, 2012
Julio C. Carrasquel, Lomazova I. A., , in : ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. Ch. 4. P. 1-12.
This paper presents our research on trading and multi-agent systems. Trading systems support the processes of buying/selling financial instruments between traders, so the validation of their correctness is a crucial task. Conversely, multi-agent systems is a current topic of interest within the analysis of interactive processes. We use Petri nets as the formalism for system ...
Added: August 28, 2019
Vladimir A. Bashkin, Lomazova I. A., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
A new formalism of Resource Driven Automata Nets (RDA-nets) is presented. A RDAnet has two levels: a system level is represented by a net of active resources, describing distribution of agents/resources and their interactions; agents in an object level are finite automata, communicating via ports and shared resources of a system level. RDA-nets are assigned ...
Added: February 2, 2013
Ermakova V., Lomazova I. A., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-toagent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints specifying the order of inner agent actions. ...
Added: July 10, 2018