Roman Nesterov

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Top Venues

Trans. Petri Nets Other Model. Concurr.

ATAED@Petri Nets/ACSD

PNSE@Petri Nets

Publications

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)
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)
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)
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)
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)