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

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)

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)