Search Results - "Nesterov, Roman"
-
1
Discovering hierarchical process models: an approach based on events partitioning
Published in Modelirovanie i analiz informacionnyh sistem (13-09-2024)“…Process mining is a field of computer science that deals with the discovery and analysis of process models based on automatically generated event logs…”
Get full text
Journal Article -
2
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations
Published in Trudy Instituta sistemnogo programmirovaniâ (2023)“…The structure of a process model directly discovered from an event log of a multi-agent system often does not reflect the behavior of individual agents and…”
Get full text
Journal Article -
3
Generation of Petri Nets Using Structural Property-Preserving Transformations
Published in Trudy Instituta sistemnogo programmirovaniâ (2021)“…In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties. Given a reference Petri net, we…”
Get full text
Journal Article -
4
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Published in Journal of parallel and distributed computing (01-09-2023)“…In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components…”
Get full text
Journal Article -
5
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
Published in Software and systems modeling (01-02-2023)“…A process model discovered from an event log of a multi-agent system often does not fully cover certain viewpoints of its architecture. We consider those…”
Get full text
Journal Article -
6
HIV Testing and Treatment among HIV-Positive Men who have Sex with Men (MSM) Living in Russia: Data from Two Waves of the European MSM Internet Survey
Published in AIDS and behavior (02-09-2024)“…We examined changes in HIV testing and medical care among men who have sex with men (MSM) in Russia. Data come from the 2010 and 2017 waves of the European MSM…”
Get full text
Journal Article -
7
Discovering Hierarchical Process Models: an Approach Based on Events Clustering
Published 12-03-2023“…Process mining is a field of computer science that deals with discovery and analysis of process models based on automatically generated event logs. Currently,…”
Get full text
Journal Article -
8
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Published 15-01-2020“…In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components…”
Get full text
Journal Article -
9
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
Published 11-06-2018“…This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to…”
Get full text
Journal Article