Irina A. Lomazova

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 34

Top Topics

Trading Systems

Top Venues

Fundam. Informaticae

Trans. Petri Nets Other Model. Concurr.

Publications

Nikolai M. Suvorov, Irina A. Lomazova
Verification of data-aware process models: Checking soundness of data Petri nets. J. Log. Algebraic Methods Program. 138 (2024)
Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22 (1) (2023)
Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov
Discovering Hierarchical Process Models: an Approach Based on Events Clustering. CoRR (2023)
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops (2023)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179 (2023)
Julio Cesar Carrasquel, Irina A. Lomazova
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. CoRR (2022)
Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar
Resource Bisimilarity in Petri Nets is Decidable. Fundam. Informaticae 186 (1-4) (2022)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16 (2022)
Irina A. Lomazova, Alexey A. Mitsyuk, Aliya M. Sharipova
Modeling MOOC learnflow with Petri net extensions. CoRR (2021)
Irina A. Lomazova, Vladimir A. Bashkin
On the Decidability of Behavioral Equivalences for (P, P)-PRS. CoRR (2021)
Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. 155 (2021)
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
Soundness in Object-centric Workflow Petri Nets. CoRR (2021)
Khalil Mecheraoui, Julio Cesar Carrasquel, Irina A. Lomazova
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems. CoRR (2020)
Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets (2020)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets (2020)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR (2020)
Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova
Checking Conformance Between Colored Petri Nets and Event Logs. AIST (2020)
Kirill Artamonov, Irina A. Lomazova
What Has Remained Unchanged in Your Business Process Model? CBI (1) (2019)
Alexandra A. Kolosova, Irina A. Lomazova
Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. AIST (2019)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR (2018)
Irina A. Lomazova
Resource Equivalences in Petri Nets. Petri Nets (2017)
Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova
Transition Systems Reduction: Balancing Between Precision and Simplicity. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin
Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. 16 (4) (2017)
Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst
Using Event Logs for Local Correction of Process Models. Autom. Control. Comput. Sci. 51 (7) (2017)
A. A. Kalenkova, A. A. Ageev, Irina A. Lomazova, Wil M. P. van der Aalst
E-Government Services: Comparing Real and Expected User Behavior. Business Process Management Workshops (2017)
Alexey A. Mitsyuk, Irina A. Lomazova, Ivan S. Shugurov, Wil M. P. van der Aalst
Process Model Repair by Detecting Unfitting Fragments. AIST (Supplement) (2017)
Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels
Controlling boundedness for live Petri nets. CoDIT (2017)
Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova
Transition Systems Reduction: Balancing between Precision and Simplicity. ATAED@Petri Nets/ACSD (2016)
Irina A. Lomazova, Vera O. Ermakova
Verification of Nested Petri Nets Using an Unfolding Approach. PNSE @ Petri Nets (2016)
Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin
Process mining using BPMN: relating event logs and process models. MoDELS (2016)
Leonid W. Dworzanski, Irina A. Lomazova
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Petri Nets (2016)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior using Priorities for Transitions. Fundam. Informaticae 143 (1-2) (2016)
Leonid W. Dworzanski, Irina A. Lomazova
Automatic construction of systems of distributed components from nested Petri nets models. Program. Comput. Softw. 42 (5) (2016)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior Using Time Constraints. CS&P (2015)
Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst
Process Model Discovery: A Method Based on Transition System Decomposition. Petri Nets (2014)
Anna A. Kalenkova, Irina A. Lomazova
Discovery of Cancellation Regions within Process Mining Techniques. Fundam. Informaticae 133 (2-3) (2014)
Daniil Frumin, Irina A. Lomazova
Branching Processes of Conservative Nested Petri Nets. VPT@CAV (2014)
Vladimir A. Bashkin, Irina A. Lomazova
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior Using Priorities for Transitions. CS&P (2014)
Vladimir A. Rubin, Irina A. Lomazova, Wil M. P. van der Aalst
Agile development with software process mining. ICSSP (2014)
Vladimir A. Rubin, Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst
Process mining can be applied to software too! ESEM (2014)
Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. PaCT (2013)
Anna A. Kalenkova, Irina A. Lomazova
Discovery of Cancellation Regions within Process Mining Techniques. CS&P (2013)
Vladimir A. Bashkin, Irina A. Lomazova
Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE (2013)
Leonid W. Dworzanski, Irina A. Lomazova
CPN tools-assisted simulation and verification of nested Petri nets. Autom. Control. Comput. Sci. 47 (7) (2013)
Irina A. Lomazova, Ivan V. Romanov
Analyzing Compatibility of Services via Resource Conformance. Fundam. Informaticae 128 (1-2) (2013)
Vladimir A. Bashkin, Irina A. Lomazova
Cellular Resource-Driven Automata. Fundam. Informaticae 120 (3-4) (2012)
Irina A. Lomazova, Ivan V. Romanov
Analyzing Web Service Resource Compatibility. CS&P (2012)
Leonid W. Dworzanski, Irina A. Lomazova
On Compositionality of Boundedness and Liveness for Nested Petri Nets. Fundam. Informaticae 120 (3-4) (2012)
Vladimir A. Bashkin, Irina A. Lomazova
Resource Driven Automata Nets. Fundam. Informaticae 109 (3) (2011)
Irina A. Lomazova
Interacting Workflow Nets for Workflow Process Re-Engineering. Fundam. Informaticae 101 (1-2) (2010)
Irina A. Lomazova
Nested Petri Nets for Adaptive Process Modeling. Pillars of Computer Science (2008)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79 (3-4) (2007)
Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
Nested Nets for Adaptive Systems. ICATPN (2006)
Vladimir A. Bashkin, Irina A. Lomazova
Similarity of Generalized Resources in Petri Nets. PaCT (2005)
Irina A. Lomazova
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fundam. Informaticae 60 (1-4) (2004)
Irina A. Lomazova
Interacting Automata for Modelling Distributed Systems. International Conference on Computational Science (2003)
Vladimir A. Bashkin, Irina A. Lomazova
Petri nets and resource bisimulation. Fundam. Informaticae 55 (2) (2003)
Irina A. Lomazova
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. Fundam. Informaticae 51 (1-2) (2002)
Irina A. Lomazova
Nested Petri Nets: Multi-level and Recursive Systems. Fundam. Informaticae 47 (3-4) (2001)
Irina A. Lomazova
Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. Program. Comput. Softw. 27 (4) (2001)
Berndt Farwer, Irina A. Lomazova
A Systematic Approach towards Object-Based Petri Net Formalisms. Ershov Memorial Conference (2001)
Irina A. Lomazova
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundam. Informaticae 43 (1-4) (2000)
Irina A. Lomazova, Philippe Schnoebelen
Some Decidability Results for Nested Petri Nets. Ershov Memorial Conference (1999)
Irina A. Lomazova
On Proving Large Distributed Systems: Petri Net Modules Verification. PaCT (1997)
Irina A. Lomazova
On Occurrence Net Semantics for Petri Nets with Contacts. FCT (1997)
Irina A. Lomazova
Procedural Implementation of Algebraic Specifications of Abstract Data Types. FCT (1987)