Irina A. Lomazova

According to our database, Irina A. Lomazova authored at least 62 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of data-aware process models: Checking soundness of data Petri nets.

Nikolai M. Suvorov, Irina A. Lomazova

J. Log. Algebraic Methods Program., 2024

Soundness Correction of Data Petri Nets.

Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin

CoRR, 2024

2023

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

J. Parallel Distributed Comput., September, 2023

Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach.

Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello

Softw. Syst. Model., February, 2023

Discovering Hierarchical Process Models: an Approach Based on Events Clustering.

Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov

CoRR, 2023

Typed Petri Nets with Variable Arc Weights.

Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin

Proceedings of the Business Process Management Workshops, 2023

2022

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2022

Resource Bisimilarity in Petri Nets is Decidable.

Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar

Fundam. Informaticae, 2022

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives.

Julio Cesar Carrasquel, Irina A. Lomazova

CoRR, 2022

2021

A Petri net extension for systems of concurrent communicating agents with durable actions.

Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala

J. Parallel Distributed Comput., 2021

Soundness in Object-centric Workflow Petri Nets.

Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin

CoRR, 2021

Modeling MOOC learnflow with Petri net extensions.

Irina A. Lomazova, Alexey A. Mitsyuk, Aliya M. Sharipova

CoRR, 2021

On the Decidability of Behavioral Equivalences for (P, P)-PRS.

Irina A. Lomazova, Vladimir A. Bashkin

CoRR, 2021

2020

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems.

Khalil Mecheraoui, Julio Cesar Carrasquel, Irina A. Lomazova

CoRR, 2020

Modeling Trading Systems using Petri Net Extensions.

Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin

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), 2020

Checking Conformance Between Colored Petri Nets and Event Logs.

Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova

Proceedings of the Analysis of Images, Social Networks and Texts, 2020

2019

What Has Remained Unchanged in Your Business Process Model?

Kirill Artamonov, Irina A. Lomazova

Proceedings of the 21st IEEE Conference on Business Informatics, 2019

Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs.

Alexandra A. Kolosova, Irina A. Lomazova

Proceedings of the Analysis of Images, Social Networks and Texts, 2019

2018

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

Transition Systems Reduction: Balancing Between Precision and Simplicity.

Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova

Trans. Petri Nets Other Model. Concurr., 2017

Process mining using BPMN: relating event logs and process models.

Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin

Softw. Syst. Model., 2017

Using Event Logs for Local Correction of Process Models.

Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst

Autom. Control. Comput. Sci., 2017

Controlling boundedness for live Petri nets.

Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels

Proceedings of the 4th International Conference on Control, 2017

E-Government Services: Comparing Real and Expected User Behavior.

A. A. Kalenkova, A. A. Ageev, Irina A. Lomazova, Wil M. P. van der Aalst

Proceedings of the Business Process Management Workshops, 2017

Resource Equivalences in Petri Nets.

Irina A. Lomazova

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

Process Model Repair by Detecting Unfitting Fragments.

Alexey A. Mitsyuk, Irina A. Lomazova, Ivan S. Shugurov, Wil M. P. van der Aalst

Proceedings of the Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST 2017), Moscow, Russia, July 27, 2017

2016

Automatic construction of systems of distributed components from nested Petri nets models.

Leonid W. Dworzanski, Irina A. Lomazova

Program. Comput. Softw., 2016

Controlling Petri Net Behavior using Priorities for Transitions.

Irina A. Lomazova, Louchka Popova-Zeugmann

Fundam. Informaticae, 2016

Verification of Nested Petri Nets Using an Unfolding Approach.

Irina A. Lomazova, Vera O. Ermakova

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets.

Leonid W. Dworzanski, Irina A. Lomazova

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Controlling Petri Net Behavior Using Time Constraints.

Irina A. Lomazova, Louchka Popova-Zeugmann

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

Decidability of k -Soundness for Workflow Nets with an Unbounded Resource.

Vladimir A. Bashkin, Irina A. Lomazova

Trans. Petri Nets Other Model. Concurr., 2014

Discovery of Cancellation Regions within Process Mining Techniques.

Anna A. Kalenkova, Irina A. Lomazova

Fundam. Informaticae, 2014

Agile development with software process mining.

Vladimir A. Rubin, Irina A. Lomazova, Wil M. P. van der Aalst

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Process mining can be applied to software too!

Vladimir A. Rubin, Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

Branching Processes of Conservative Nested Petri Nets.

Daniil Frumin, Irina A. Lomazova

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

Process Model Discovery: A Method Based on Transition System Decomposition.

Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Analyzing Compatibility of Services via Resource Conformance.

Irina A. Lomazova, Ivan V. Romanov

Fundam. Informaticae, 2013

CPN tools-assisted simulation and verification of nested Petri nets.

Leonid W. Dworzanski, Irina A. Lomazova

Autom. Control. Comput. Sci., 2013

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling.

Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

Soundness of Workflow Nets with an Unbounded Resource is Decidable.

Vladimir A. Bashkin, Irina A. Lomazova

Proceedings of the 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), Milano, Italy, June 24, 2013

2012

On Compositionality of Boundedness and Liveness for Nested Petri Nets.

Leonid W. Dworzanski, Irina A. Lomazova

Fundam. Informaticae, 2012

Cellular Resource-Driven Automata.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2012

Analyzing Web Service Resource Compatibility.

Irina A. Lomazova, Ivan V. Romanov

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Resource Driven Automata Nets.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2011

2010

Interacting Workflow Nets for Workflow Process Re-Engineering.

Irina A. Lomazova

Fundam. Informaticae, 2010

2008

Nested Petri Nets for Adaptive Process Modeling.

Irina A. Lomazova

Proceedings of the Pillars of Computer Science, 2008

2007

Checking Properties of Adaptive Workflow Nets.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Fundam. Informaticae, 2007

2006

Nested Nets for Adaptive Systems.

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Similarity of Generalized Resources in Petri Nets.

Vladimir A. Bashkin, Irina A. Lomazova

Proceedings of the Parallel Computing Technologies, 2005

2004

Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure.

Irina A. Lomazova

Fundam. Informaticae, 2004

2003

Petri nets and resource bisimulation.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2003

Interacting Automata for Modelling Distributed Systems.

Irina A. Lomazova

Proceedings of the Computational Science - ICCS 2003, 2003

2002

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets.

Irina A. Lomazova

Fundam. Informaticae, 2002

2001

Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility.

Irina A. Lomazova

Program. Comput. Softw., 2001

Nested Petri Nets: Multi-level and Recursive Systems.

Irina A. Lomazova

Fundam. Informaticae, 2001

A Systematic Approach towards Object-Based Petri Net Formalisms.

Berndt Farwer, Irina A. Lomazova

Proceedings of the Perspectives of System Informatics, 2001

2000

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

Irina A. Lomazova

Fundam. Informaticae, 2000

1999

Some Decidability Results for Nested Petri Nets.

Irina A. Lomazova, Philippe Schnoebelen

Proceedings of the Perspectives of System Informatics, 1999

1997

On Proving Large Distributed Systems: Petri Net Modules Verification.

Irina A. Lomazova

Proceedings of the Parallel Computing Technologies, 1997

On Occurrence Net Semantics for Petri Nets with Contacts.

Irina A. Lomazova

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1987

Procedural Implementation of Algebraic Specifications of Abstract Data Types.

Irina A. Lomazova

Proceedings of the Fundamentals of Computation Theory, 1987