Irina A. Lomazova

80 papers A 2B 9C 1Misc 7Journal 38Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Discovering Directly-Follows Graph Model for Acyclic Processes. CoRR Nikita Shaimov, Irina A. Lomazova, Alexey A. Mitsyuk
2025	J	`jnl`	How to Prevent Fake Cycles in DFG Models Discovered from Event Logs? Program. Comput. Softw. Nikita Shaimov, Irina A. Lomazova, Roman A. Nesterov
2025	J	`jnl`	Soundness Correction of Data Petri Nets. IEEE Access Nikolai M. Suvorov, Irina A. Lomazova
2024	J	`jnl`	Soundness Correction of Data Petri Nets. CoRR Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
2024	J	`jnl`	Verification of data-aware process models: Checking soundness of data Petri nets. J. Log. Algebraic Methods Program. Nikolai M. Suvorov, Irina A. Lomazova
2023	J	`jnl`	Discovering Hierarchical Process Models: an Approach Based on Events Clustering. CoRR Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov
2023	J	`jnl`	Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello
2023	J	`jnl`	Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2023	—	`conf`	Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
2022	J	`jnl`	Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2022	J	`jnl`	Resource Bisimilarity in Petri Nets is Decidable. Fundam. Informaticae Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar
2022	J	`jnl`	Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. CoRR Julio Cesar Carrasquel, Irina A. Lomazova
2021	J	`jnl`	A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. Khalil Mecheraoui, Irina A. Lomazova, Nabil Belala
2021	Misc	`ed.`	Analysis of Images, Social Networks and Texts - 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers AIST Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Yu. Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina
2021	J	`jnl`	Modeling MOOC learnflow with Petri net extensions. CoRR Irina A. Lomazova, Alexey A. Mitsyuk, Aliya M. Sharipova
2021	J	`jnl`	On the Decidability of Behavioral Equivalences for (P, P)-PRS. CoRR Irina A. Lomazova, Vladimir A. Bashkin
2021	—	`ed.`	Recent Trends in Analysis of Images, Social Networks and Texts - 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings AIST (Supplement) Wil M. P. van der Aalst, Vladimir Batagelj, Alexey Buzmakov, Dmitry I. Ignatov, Anna A. Kalenkova, Michael Yu. Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Ilya Makarov, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina
2021	J	`jnl`	Soundness in Object-centric Workflow Petri Nets. CoRR Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
2020	—	`ed.`	Analysis of Images, Social Networks and Texts - 8th International Conference, AIST 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers AIST (Supplement) Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Yu. Khachay, Valentina V. Kuskova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina
2020	Misc	`conf`	Checking Conformance Between Colored Petri Nets and Event Logs. AIST Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova
2020	J	`jnl`	Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems. CoRR Khalil Mecheraoui, Julio Cesar Carrasquel, Irina A. Lomazova
2020	—	`conf`	Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
2020	—	`conf`	Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2020	J	`jnl`	Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2019	Misc	`ed.`	Analysis of Images, Social Networks and Texts - 8th International Conference, AIST 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers AIST Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Yu. Khachay, Valentina V. Kuskova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina
2019	Misc	`conf`	Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. AIST Alexandra A. Kolosova, Irina A. Lomazova
2019	—	`conf`	What Has Remained Unchanged in Your Business Process Model? CBI (1) Kirill Artamonov, Irina A. Lomazova
2018	Misc	`ed.`	Analysis of Images, Social Networks and Texts - 6th International Conference, AIST 2017, Moscow, Russia, July 27-29, 2017, Revised Selected Papers AIST Wil M. P. van der Aalst, Dmitry I. Ignatov, Michael Yu. Khachay, Sergei O. Kuznetsov, Victor S. Lempitsky, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Andrey V. Savchenko, Stanley Wasserman
2018	Misc	`ed.`	Analysis of Images, Social Networks and Texts - 7th International Conference, AIST 2018, Moscow, Russia, July 5-7, 2018, Revised Selected Papers AIST Wil M. P. van der Aalst, Vladimir Batagelj, Goran Glavas, Dmitry I. Ignatov, Michael Yu. Khachay, Sergei O. Kuznetsov, Olessia Koltsova, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko
2018	—	`conf`	Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2018	J	`jnl`	Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
2018	—	`ed.`	Supplementary Proceedings of the Seventh International Conference on Analysis of Images, Social Networks and Texts (AIST 2018), Moscow, Russia, July 5 - 7, 2018 AIST (Supplement) Wil M. P. van der Aalst, Vladimir Batagelj, Goran Glavas, Dmitry I. Ignatov, Michael Yu. Khachay, Olessia Koltsova, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko
2017	C	`conf`	Controlling boundedness for live Petri nets. CoDIT Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels
2017	—	`conf`	E-Government Services: Comparing Real and Expected User Behavior. Business Process Management Workshops A. A. Kalenkova, A. A. Ageev, Irina A. Lomazova, Wil M. P. van der Aalst
2017	—	`conf`	Process Model Repair by Detecting Unfitting Fragments. AIST (Supplement) Alexey A. Mitsyuk, Irina A. Lomazova, Ivan S. Shugurov, Wil M. P. van der Aalst
2017	J	`jnl`	Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin
2017	B	`conf`	Resource Equivalences in Petri Nets. Petri Nets Irina A. Lomazova
2017	—	`ed.`	Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST 2017), Moscow, Russia, July 27 - 29, 2017 AIST (Supplement) Wil M. P. van der Aalst, Mikhail Yu. Khachay, Sergei O. Kuznetsov, Victor S. Lempitsky, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Andrey V. Savchenko, Stanley Wasserman, Dmitry I. Ignatov
2017	J	`jnl`	Transition Systems Reduction: Balancing Between Precision and Simplicity. Trans. Petri Nets Other Model. Concurr. Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova
2017	J	`jnl`	Using Event Logs for Local Correction of Process Models. Autom. Control. Comput. Sci. Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst
2016	J	`jnl`	Automatic construction of systems of distributed components from nested Petri nets models. Program. Comput. Softw. Leonid W. Dworzanski, Irina A. Lomazova
2016	J	`jnl`	Controlling Petri Net Behavior using Priorities for Transitions. Fundam. Informaticae Irina A. Lomazova, Louchka Popova-Zeugmann
2016	A	`conf`	Process mining using BPMN: relating event logs and process models. MoDELS Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin
2016	B	`conf`	Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Petri Nets Leonid W. Dworzanski, Irina A. Lomazova
2016	—	`conf`	Transition Systems Reduction: Balancing between Precision and Simplicity. ATAED@Petri Nets/ACSD Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova
2016	—	`conf`	Verification of Nested Petri Nets Using an Unfolding Approach. PNSE @ Petri Nets Irina A. Lomazova, Vera O. Ermakova
2015	—	`conf`	Controlling Petri Net Behavior Using Time Constraints. CS&P Irina A. Lomazova, Louchka Popova-Zeugmann
2014	B	`conf`	Agile development with software process mining. ICSSP Vladimir A. Rubin, Irina A. Lomazova, Wil M. P. van der Aalst
2014	—	`conf`	Branching Processes of Conservative Nested Petri Nets. VPT@CAV Daniil Frumin, Irina A. Lomazova
2014	—	`conf`	Controlling Petri Net Behavior Using Priorities for Transitions. CS&P Irina A. Lomazova, Louchka Popova-Zeugmann
2014	J	`jnl`	Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. Trans. Petri Nets Other Model. Concurr. Vladimir A. Bashkin, Irina A. Lomazova
2014	J	`jnl`	Discovery of Cancellation Regions within Process Mining Techniques. Fundam. Informaticae Anna A. Kalenkova, Irina A. Lomazova
2014	B	`conf`	Process Model Discovery: A Method Based on Transition System Decomposition. Petri Nets Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst
2014	A	`conf`	Process mining can be applied to software too! ESEM Vladimir A. Rubin, Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst
2013	J	`jnl`	Analyzing Compatibility of Services via Resource Conformance. Fundam. Informaticae Irina A. Lomazova, Ivan V. Romanov
2013	J	`jnl`	CPN tools-assisted simulation and verification of nested Petri nets. Autom. Control. Comput. Sci. Leonid W. Dworzanski, Irina A. Lomazova
2013	—	`conf`	Discovery of Cancellation Regions within Process Mining Techniques. CS&P Anna A. Kalenkova, Irina A. Lomazova
2013	—	`conf`	Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE Vladimir A. Bashkin, Irina A. Lomazova
2013	B	`conf`	Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. PaCT Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova
2012	—	`conf`	Analyzing Web Service Resource Compatibility. CS&P Irina A. Lomazova, Ivan V. Romanov
2012	J	`jnl`	Cellular Resource-Driven Automata. Fundam. Informaticae Vladimir A. Bashkin, Irina A. Lomazova
2012	J	`jnl`	On Compositionality of Boundedness and Liveness for Nested Petri Nets. Fundam. Informaticae Leonid W. Dworzanski, Irina A. Lomazova
2011	J	`jnl`	Resource Driven Automata Nets. Fundam. Informaticae Vladimir A. Bashkin, Irina A. Lomazova
2010	J	`jnl`	Interacting Workflow Nets for Workflow Process Re-Engineering. Fundam. Informaticae Irina A. Lomazova
2008	—	`conf`	Nested Petri Nets for Adaptive Process Modeling. Pillars of Computer Science Irina A. Lomazova
2007	J	`jnl`	Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
2006	—	`conf`	Nested Nets for Adaptive Systems. ICATPN Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2005	B	`conf`	Similarity of Generalized Resources in Petri Nets. PaCT Vladimir A. Bashkin, Irina A. Lomazova
2004	J	`jnl`	Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fundam. Informaticae Irina A. Lomazova
2003	Misc	`conf`	Interacting Automata for Modelling Distributed Systems. International Conference on Computational Science Irina A. Lomazova
2003	J	`jnl`	Petri nets and resource bisimulation. Fundam. Informaticae Vladimir A. Bashkin, Irina A. Lomazova
2002	J	`jnl`	Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. Fundam. Informaticae Irina A. Lomazova
2001	—	`conf`	A Systematic Approach towards Object-Based Petri Net Formalisms. Ershov Memorial Conference Berndt Farwer, Irina A. Lomazova
2001	J	`jnl`	Nested Petri Nets: Multi-level and Recursive Systems. Fundam. Informaticae Irina A. Lomazova
2001	J	`jnl`	Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. Program. Comput. Softw. Irina A. Lomazova
2000	J	`jnl`	Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundam. Informaticae Irina A. Lomazova
1999	—	`conf`	Some Decidability Results for Nested Petri Nets. Ershov Memorial Conference Irina A. Lomazova, Philippe Schnoebelen
1997	B	`conf`	On Occurrence Net Semantics for Petri Nets with Contacts. FCT Irina A. Lomazova
1997	B	`conf`	On Proving Large Distributed Systems: Petri Net Modules Verification. PaCT Irina A. Lomazova
1987	B	`conf`	Procedural Implementation of Algebraic Specifications of Abstract Data Types. FCT Irina A. Lomazova