Procedural Implementation of Algebraic Specifications of Abstract Data Types. - Irina A. Lomazova (FCT, 1987)

On Occurrence Net Semantics for Petri Nets with Contacts. - Irina A. Lomazova (FCT, 1997)

On Proving Large Distributed Systems: Petri Net Modules Verification. - Irina A. Lomazova (PaCT, 1997)

Some Decidability Results for Nested Petri Nets. - Irina A. Lomazova; Philippe Schnoebelen (Ershov Memorial Conference, 1999)

Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. - Irina A. Lomazova (Fundam. Informaticae, 2000)

A Systematic Approach towards Object-Based Petri Net Formalisms. - Berndt Farwer; Irina A. Lomazova (Ershov Memorial Conference, 2001)

Nested Petri Nets: Multi-level and Recursive Systems. - Irina A. Lomazova (Fundam. Informaticae, 2001)

Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. - Irina A. Lomazova (Program. Comput. Softw., 2001)

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. - Irina A. Lomazova (Fundam. Informaticae, 2002)

Interacting Automata for Modelling Distributed Systems. - Irina A. Lomazova (International Conference on Computational Science, 2003)

Petri nets and resource bisimulation. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2003)

Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. - Irina A. Lomazova (Fundam. Informaticae, 2004)

Similarity of Generalized Resources in Petri Nets. - Vladimir A. Bashkin; Irina A. Lomazova (PaCT, 2005)

Nested Nets for Adaptive Systems. - Kees M. van Hee; Irina A. Lomazova; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2006)

Checking Properties of Adaptive Workflow Nets. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Irina A. Lomazova (Fundam. Informaticae, 2007)

Nested Petri Nets for Adaptive Process Modeling. - Irina A. Lomazova (Pillars of Computer Science, 2008)

Interacting Workflow Nets for Workflow Process Re-Engineering. - Irina A. Lomazova (Fundam. Informaticae, 2010)

Resource Driven Automata Nets. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2011)

Analyzing Web Service Resource Compatibility. - Irina A. Lomazova; Ivan V. Romanov (CS&P, 2012)

Cellular Resource-Driven Automata. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2012)

On Compositionality of Boundedness and Liveness for Nested Petri Nets. - Leonid W. Dworzanski; Irina A. Lomazova (Fundam. Informaticae, 2012)

Soundness of Workflow Nets with an Unbounded Resource is Decidable. - Vladimir A. Bashkin; Irina A. Lomazova (PNSE+ModPE, 2013)

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. - Vladimir A. Bashkin; Irina A. Lomazova; Yulia A. Novikova (PaCT, 2013)

CPN tools-assisted simulation and verification of nested Petri nets. - Leonid W. Dworzanski; Irina A. Lomazova (Autom. Control. Comput. Sci., 2013)

Analyzing Compatibility of Services via Resource Conformance. - Irina A. Lomazova; Ivan V. Romanov (Fundam. Informaticae, 2013)

Process Model Discovery: A Method Based on Transition System Decomposition. - Anna A. Kalenkova; Irina A. Lomazova; Wil M. P. van der Aalst (Petri Nets, 2014)

Branching Processes of Conservative Nested Petri Nets. - Daniil Frumin; Irina A. Lomazova (VPT@CAV, 2014)

Process mining can be applied to software too! - Vladimir A. Rubin; Alexey A. Mitsyuk; Irina A. Lomazova; Wil M. P. van der Aalst (ESEM, 2014)

Agile development with software process mining. - Vladimir A. Rubin; Irina A. Lomazova; Wil M. P. van der Aalst (ICSSP, 2014)

Discovery of Cancellation Regions within Process Mining Techniques. - Anna A. Kalenkova; Irina A. Lomazova (Fundam. Informaticae, 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)

Controlling Petri Net Behavior Using Time Constraints. - Irina A. Lomazova; Louchka Popova-Zeugmann (CS&P, 2015)

Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. - Leonid W. Dworzanski; Irina A. Lomazova (Petri Nets, 2016)

Verification of Nested Petri Nets Using an Unfolding Approach. - Irina A. Lomazova; Vera O. Ermakova (PNSE @ Petri Nets, 2016)

Controlling Petri Net Behavior using Priorities for Transitions. - Irina A. Lomazova; Louchka Popova-Zeugmann (Fundam. Informaticae, 2016)

Automatic construction of systems of distributed components from nested Petri nets models. - Leonid W. Dworzanski; Irina A. Lomazova (Program. Comput. Softw., 2016)

Process Model Repair by Detecting Unfitting Fragments. - Alexey A. Mitsyuk; Irina A. Lomazova; Ivan S. Shugurov; Wil M. P. van der Aalst (AIST (Supplement), 2017)

Resource Equivalences in Petri Nets. - Irina A. Lomazova (Petri Nets, 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 (Business Process Management Workshops, 2017)

Controlling boundedness for live Petri nets. - Irina A. Lomazova; Louchka Popova-Zeugmann; Arthur Bartels (CoDIT, 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)

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)

Transition Systems Reduction: Balancing Between Precision and Simplicity. - Sergey A. Shershakov; Anna A. Kalenkova; Irina A. Lomazova (Trans. Petri Nets Other Model. Concurr., 2017)

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. - Luca Bernardinello; Irina A. Lomazova; Roman Nesterov; Lucia Pomello (ATAED@Petri Nets/ACSD, 2018)

Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. - Alexandra A. Kolosova; Irina A. Lomazova (AIST, 2019)

What Has Remained Unchanged in Your Business Process Model? - Kirill Artamonov; Irina A. Lomazova (CBI (1), 2019)

Checking Conformance Between Colored Petri Nets and Event Logs. - Julio Cesar Carrasquel; Khalil Mecheraoui; Irina A. Lomazova (AIST, 2020)

Modeling Trading Systems using Petri Net Extensions. - Julio Cesar Carrasquel; Irina A. Lomazova; Andrey Rivkin (PNSE@Petri Nets, 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)

On the Decidability of Behavioral Equivalences for (P, P)-PRS. - Irina A. Lomazova; Vladimir A. Bashkin (CoRR, 2021)

Modeling MOOC learnflow with Petri net extensions. - Irina A. Lomazova; Alexey A. Mitsyuk; Aliya M. Sharipova (CoRR, 2021)

Soundness in Object-centric Workflow Petri Nets. - Irina A. Lomazova; Alexey A. Mitsyuk; Andrey Rivkin (CoRR, 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)

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. - Julio Cesar Carrasquel; Irina A. Lomazova (CoRR, 2022)

Resource Bisimilarity in Petri Nets is Decidable. - Irina A. Lomazova; Vladimir A. Bashkin; Petr Jancar (Fundam. Informaticae, 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)

Typed Petri Nets with Variable Arc Weights. - Irina A. Lomazova; Alexey A. Mitsyuk; Andrey Rivkin (Business Process Management Workshops, 2023)

Discovering Hierarchical Process Models: an Approach Based on Events Clustering. - Antonina K. Begicheva; Irina A. Lomazova; Roman A. Nesterov (CoRR, 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., 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., 2023)

Soundness Correction of Data Petri Nets. - Nikolai M. Suvorov; Irina A. Lomazova; Andrey Rivkin (CoRR, 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 (IEEE Access, 2025)

Discovering Directly-Follows Graph Model for Acyclic Processes. - Nikita Shaimov; Irina A. Lomazova; Alexey A. Mitsyuk (CoRR, 2025)