1 citations · 1 across the 2 of their papers we have counts for
4 papers
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…
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…
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,…
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…