I. Lomazova

Publications
Influence

Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems

I. Lomazova
Computer Science
Fundam. Informaticae
2000

Nested Petri nets is a formalism for modeling hierarchical multi-agent systems. Expand

Nested Petri Nets: Multi-level and Recursive Systems

I. Lomazova
Computer Science
Fundam. Informaticae
1 August 2001

Nested Petri nets (NP-nets) is a formalism for modeling hierarchical multi-agent systems, for which decidability of termination and some other properties are proved. Expand

Discovery of Cancellation Regions within Process Mining Techniques

A. Kalenkova, I. Lomazova
Computer Science
CS&P
1 April 2014

We propose a novel method to discover cancellation regions from the transition systems built on event logs and show the way to construct equivalent workflow net with reset arcs to simplify the control flow. Expand

Some Decidability Results for Nested Petri Nets

I. Lomazova, P. Schnoebelen
Computer Science
Ershov Memorial Conference
6 July 1999

Nested Petri nets are petri nets using other Petrinets as tokens, thereby allowing easy description of hierarchical systems. Expand

Nested Nets for Adaptive Systems

K. V. Hee, I. Lomazova, Olivia Oanea, Alexander Serebrenik, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
26 June 2006

We study the value semantics of nested nets rather than the reference semantics and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. Expand

Process mining using BPMN: relating event logs and process models

A. Kalenkova, W. V. Aalst, I. Lomazova, V. Rubin
Computer Science
Software & Systems Modeling
1 October 2017

We describe and justify robust control flow conversion algorithms, which provide the basis for more advanced BPMN-based discovery and conformance checking algorithms. Expand

Process mining can be applied to software too!

V. Rubin, A. A. Mitsyuk, I. Lomazova, W. V. Aalst
Computer Science
ESEM '14
18 September 2014

We present and analyze our experiences on applying process mining in different productive software systems used in the touristic domain and demonstrate that process mining facilitates new forms of software analysis. Expand

Nested Petri Nets for Adaptive Process Modeling

I. Lomazova
Computer Science
Pillars of Computer Science
2008

We consider Nested Petri nets (NP-nets), i.e. petri nets in which tokens can be Petri net themselves, and prove decidability of some crucial for verification problems. Expand

Agile development with software process mining

V. Rubin, I. Lomazova, W. V. Aalst
Engineering, Computer Science
ICSSP
26 May 2014

We propose a bottom-up approach, which takes event logs (e.g., trace data) of a software system for the analysis of the user and system runtime behavior and for improving the software. Expand

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

I. Lomazova
Computer Science
Fundam. Informaticae
15 March 2002

Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. Expand

Recommended Authors