• Publications
  • Influence
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems
TLDR
Nested Petri nets is a formalism for modeling hierarchical multi-agent systems. Expand
  • 102
  • 8
Nested Petri Nets: Multi-level and Recursive Systems
  • I. Lomazova
  • Computer Science
  • Fundam. Informaticae
  • 1 August 2001
TLDR
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
  • 63
  • 5
Discovery of Cancellation Regions within Process Mining Techniques
TLDR
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
  • 15
  • 3
  • PDF
Some Decidability Results for Nested Petri Nets
TLDR
Nested Petri nets are petri nets using other Petrinets as tokens, thereby allowing easy description of hierarchical systems. Expand
  • 64
  • 2
Nested Nets for Adaptive Systems
TLDR
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
  • 59
  • 2
  • PDF
Process mining using BPMN: relating event logs and process models
TLDR
We describe and justify robust control flow conversion algorithms, which provide the basis for more advanced BPMN-based discovery and conformance checking algorithms. Expand
  • 52
  • 2
  • PDF
Process mining can be applied to software too!
TLDR
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
  • 40
  • 2
  • PDF
Nested Petri Nets for Adaptive Process Modeling
  • I. Lomazova
  • Computer Science
  • Pillars of Computer Science
  • 2008
TLDR
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
  • 32
  • 1
Agile development with software process mining
TLDR
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
  • 39
  • 1
  • PDF
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
  • I. Lomazova
  • Computer Science
  • Fundam. Informaticae
  • 15 March 2002
TLDR
Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. Expand
  • 21
  • 1