default search action
Irina A. Lomazova
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Nikolai M. Suvorov
, Irina A. Lomazova:
Verification of data-aware process models: Checking soundness of data Petri nets. J. Log. Algebraic Methods Program. 138: 100953 (2024) - [i9]Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin:
Soundness Correction of Data Petri Nets. CoRR abs/2410.21188 (2024) - 2023
- [j25]Luca Bernardinello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179: 104704 (2023) - [j24]Roman Nesterov
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22(1): 351-375 (2023) - [c34]Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops 2023: 483-495 - [i8]Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov:
Discovering Hierarchical Process Models: an Approach Based on Events Clustering. CoRR abs/2303.13531 (2023) - 2022
- [j23]Irina A. Lomazova
Resource Bisimilarity in Petri Nets is Decidable. Fundam. Informaticae 186(1-4): 175-194 (2022) - [j22]Luca Bernardinello, Irina A. Lomazova
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16: 1-23 (2022) - [i7]Julio Cesar Carrasquel, Irina A. Lomazova:
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. CoRR abs/2210.16800 (2022) - 2021
- [j21]Khalil Mecheraoui
A Petri net extension for systems of concurrent communicating agents with durable actions. J. Parallel Distributed Comput. 155: 14-23 (2021) - [e8]Wil M. P. van der Aalst
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. Communications in Computer and Information Science 1357, Springer 2021, ISBN 978-3-030-71213-6 [contents] - [e7]Wil M. P. van der Aalst
Analysis of Images, Social Networks and Texts - 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12602, Springer 2021, ISBN 978-3-030-72609-6 [contents] - [i6]Irina A. Lomazova, Vladimir A. Bashkin:
On the Decidability of Behavioral Equivalences for (P, P)-PRS. CoRR abs/2101.07711 (2021) - [i5]Irina A. Lomazova, Alexey A. Mitsyuk, Aliya M. Sharipova:
Modeling MOOC learnflow with Petri net extensions. CoRR abs/2111.04419 (2021) - [i4]Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Soundness in Object-centric Workflow Petri Nets. CoRR abs/2112.14994 (2021) - 2020
- [c33]Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova
Checking Conformance Between Colored Petri Nets and Event Logs. AIST 2020: 435-452 - [c32]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets 2020: 49-67 - [c31]Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets 2020: 118-137 - [e6]Wil M. P. van der Aalst
Analysis of Images, Social Networks and Texts - 8th International Conference, AIST 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers. Communications in Computer and Information Science 1086, Springer 2020, ISBN 978-3-030-39574-2 [contents] - [i3]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR abs/2001.08064 (2020) - [i2]Khalil Mecheraoui
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems. CoRR abs/2003.07291 (2020)
2010 – 2019
- 2019
- [c30]Alexandra A. Kolosova
Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. AIST 2019: 401-410 - [c29]Kirill Artamonov, Irina A. Lomazova
What Has Remained Unchanged in Your Business Process Model? CBI (1) 2019: 551-558 - [e5]Wil M. P. van der Aalst
Analysis of Images, Social Networks and Texts - 8th International Conference, AIST 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11832, Springer 2019, ISBN 978-3-030-37333-7 [contents] - 2018
- [c28]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD 2018: 23-38 - [e4]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:
Supplementary Proceedings of the Seventh International Conference on Analysis of Images, Social Networks and Texts (AIST 2018), Moscow, Russia, July 5 - 7, 2018. CEUR Workshop Proceedings 2268, CEUR-WS.org 2018 [contents] - [e3]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:
Analysis of Images, Social Networks and Texts - 6th International Conference, AIST 2017, Moscow, Russia, July 27-29, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10716, Springer 2018, ISBN 978-3-319-73012-7 [contents] - [e2]Wil M. P. van der Aalst
Analysis of Images, Social Networks and Texts - 7th International Conference, AIST 2018, Moscow, Russia, July 5-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11179, Springer 2018, ISBN 978-3-030-11026-0 [contents] - [i1]Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR abs/1806.04254 (2018) - 2017
- [j20]Alexey A. Mitsyuk
Using Event Logs for Local Correction of Process Models. Autom. Control. Comput. Sci. 51(7): 709-723 (2017) - [j19]Anna A. Kalenkova
Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. 16(4): 1019-1048 (2017) - [j18]Sergey A. Shershakov, Anna A. Kalenkova
Transition Systems Reduction: Balancing Between Precision and Simplicity. Trans. Petri Nets Other Model. Concurr. 12: 119-139 (2017) - [c27]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: 301-313 - [c26]Irina A. Lomazova
Resource Equivalences in Petri Nets. Petri Nets 2017: 19-34 - [c25]A. A. Kalenkova
E-Government Services: Comparing Real and Expected User Behavior. Business Process Management Workshops 2017: 484-496 - [c24]Irina A. Lomazova
Controlling boundedness for live Petri nets. CoDIT 2017: 236-241 - [e1]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:
Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST 2017), Moscow, Russia, July 27 - 29, 2017. CEUR Workshop Proceedings 1975, CEUR-WS.org 2017 [contents] - 2016
- [j17]Irina A. Lomazova
Controlling Petri Net Behavior using Priorities for Transitions. Fundam. Informaticae 143(1-2): 101-112 (2016) - [j16]Leonid W. Dworzanski, Irina A. Lomazova
Automatic construction of systems of distributed components from nested Petri nets models. Program. Comput. Softw. 42(5): 292-306 (2016) - [c23]Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova:
Transition Systems Reduction: Balancing between Precision and Simplicity. ATAED@Petri Nets/ACSD 2016: 78-95 - [c22]Irina A. Lomazova, Vera O. Ermakova:
Verification of Nested Petri Nets Using an Unfolding Approach. PNSE @ Petri Nets 2016: 93-112 - [c21]Leonid W. Dworzanski, Irina A. Lomazova
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Petri Nets 2016: 325-344 - [c20]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: 123 - 2015
- [c19]Irina A. Lomazova, Louchka Popova-Zeugmann:
Controlling Petri Net Behavior Using Time Constraints. CS&P 2015: 19-33 - 2014
- [j15]Anna A. Kalenkova
Discovery of Cancellation Regions within Process Mining Techniques. Fundam. Informaticae 133(2-3): 197-209 (2014) - [j14]Vladimir A. Bashkin
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. Trans. Petri Nets Other Model. Concurr. 9: 1-18 (2014) - [c18]Anna A. Kalenkova
Process Model Discovery: A Method Based on Transition System Decomposition. Petri Nets 2014: 71-90 - [c17]Daniil Frumin, Irina A. Lomazova:
Branching Processes of Conservative Nested Petri Nets. VPT@CAV 2014: 19-35 - [c16]Irina A. Lomazova, Louchka Popova-Zeugmann:
Controlling Petri Net Behavior Using Priorities for Transitions. CS&P 2014: 126-137 - [c15]Vladimir A. Rubin, Alexey A. Mitsyuk
Process mining can be applied to software too! ESEM 2014: 57:1-57:8 - [c14]Vladimir A. Rubin, Irina A. Lomazova
Agile development with software process mining. ICSSP 2014: 70-74 - 2013
- [j13]Leonid W. Dworzanski, Irina A. Lomazova
CPN tools-assisted simulation and verification of nested Petri nets. Autom. Control. Comput. Sci. 47(7): 393-402 (2013) - [j12]Irina A. Lomazova
Analyzing Compatibility of Services via Resource Conformance. Fundam. Informaticae 128(1-2): 129-141 (2013) - [c13]Vladimir A. Bashkin, Irina A. Lomazova:
Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE 2013: 61-75 - [c12]Anna A. Kalenkova, Irina A. Lomazova:
Discovery of Cancellation Regions within Process Mining Techniques. CS&P 2013: 232-244 - [c11]Vladimir A. Bashkin
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. PaCT 2013: 13-25 - 2012
- [j11]Vladimir A. Bashkin
Cellular Resource-Driven Automata. Fundam. Informaticae 120(3-4): 243-257 (2012) - [j10]Leonid W. Dworzanski
On Compositionality of Boundedness and Liveness for Nested Petri Nets. Fundam. Informaticae 120(3-4): 275-293 (2012) - [c10]Irina A. Lomazova, Ivan V. Romanov:
Analyzing Web Service Resource Compatibility. CS&P 2012: 239-250 - 2011
- [j9]Vladimir A. Bashkin
Resource Driven Automata Nets. Fundam. Informaticae 109(3): 223-236 (2011) - 2010
- [j8]Irina A. Lomazova
Interacting Workflow Nets for Workflow Process Re-Engineering. Fundam. Informaticae 101(1-2): 59-70 (2010)
2000 – 2009
- 2008
- [c9]Irina A. Lomazova
Nested Petri Nets for Adaptive Process Modeling. Pillars of Computer Science 2008: 460-474 - 2007
- [j7]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): 347-362 (2007) - 2006
- [c8]Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova
Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 - 2005
- [c7]Vladimir A. Bashkin
Similarity of Generalized Resources in Petri Nets. PaCT 2005: 27-41 - 2004
- [j6]Irina A. Lomazova:
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fundam. Informaticae 60(1-4): 225-235 (2004) - 2003
- [j5]Vladimir A. Bashkin, Irina A. Lomazova:
Petri nets and resource bisimulation. Fundam. Informaticae 55(2): 101-114 (2003) - [c6]Irina A. Lomazova:
Interacting Automata for Modelling Distributed Systems. International Conference on Computational Science 2003: 851-860 - 2002
- [j4]Irina A. Lomazova:
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. Fundam. Informaticae 51(1-2): 121-133 (2002) - 2001
- [j3]Irina A. Lomazova:
Nested Petri Nets: Multi-level and Recursive Systems. Fundam. Informaticae 47(3-4): 283-293 (2001) - [j2]Irina A. Lomazova
Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. Program. Comput. Softw. 27(4): 183-193 (2001) - [c5]Berndt Farwer, Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms. Ershov Memorial Conference 2001: 255-267 - 2000
- [j1]Irina A. Lomazova:
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundam. Informaticae 43(1-4): 195-214 (2000)
1990 – 1999
- 1999
- [c4]Irina A. Lomazova, Philippe Schnoebelen:
Some Decidability Results for Nested Petri Nets. Ershov Memorial Conference 1999: 208-220 - 1997
- [c3]Irina A. Lomazova:
On Occurrence Net Semantics for Petri Nets with Contacts. FCT 1997: 317-328 - [c2]Irina A. Lomazova
On Proving Large Distributed Systems: Petri Net Modules Verification. PaCT 1997: 70-75
1980 – 1989
- 1987
- [c1]Irina A. Lomazova:
Procedural Implementation of Algebraic Specifications of Abstract Data Types. FCT 1987: 288-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: