?
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
P. 23-38.
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general scheme of workflow net composition. By using morphisms, we prove that this composition preserves soundness of components. A quality evaluation shows the increase in the precision of models discovered by the proposed approach.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 2115: CEUR Workshop Proceedings. , CEUR-WS.org, 2018
Roman A. Nesterov, Irina A. Lomazova, , in : Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 62-73.
Process models discovered from event logs of multi-agent systems may be complicated and unreadable. To overcome this problem, we suggest using a compositional approach. A system model is composed from agent models w.r.t. an interface. Morphisms guarantee that composition of correct models is correct. This study contributes to the practical implementation of the morphism-based compositional ...
Добавлено: 10 октября 2019 г.
R.A. Nesterov, I.A. Lomazova, Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 21-38
Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных информационных систем. Как правило, в рамках таких систем несколько исполнителей (агентов) взаимодействуют друг с другом. Поведение агентов, а также механизмы их взаимодействия описываются с помощью моделей процессов. Для моделирования процессов мы применяем обыкновенные сети Петри. Алгоритмы process discovery позволяют восстановить модели реального поведения агентов из ...
Добавлено: 6 сентября 2017 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351-375
Добавлено: 5 мая 2022 г.
Bernardinello L., Irina Lomazova, Roman Nesterov и др., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
Добавлено: 8 июня 2023 г.
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11-32
Добавлено: 31 октября 2023 г.
Бегичева А. К., Ломазова И. А., Нестеров Р. А., / Cornell University. Series Computer Science "arxiv.org". 2023.
Добавлено: 31 марта 2023 г.
Каленкова А. А., TU/e Eindhoven, 2018
Добавлено: 14 июня 2018 г.
Bernardinello L., Irina Lomazova, Нестеров Р. А. и др., , in : Transactions on Petri Nets and Other Models of Concurrency XVI. Vol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1-23.
Добавлено: 23 марта 2022 г.
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Добавлено: 19 марта 2011 г.
N. S. Zubkova, S. A. Shershakov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 139-150
Добавлено: 28 октября 2019 г.
Vladimir A. Bashkin, Ломазова И. А., , in : Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013. : Yaroslavl : Yaroslavl State University, 2013. P. 11-20.
Добавлено: 14 июля 2013 г.
Каленкова А. А., ван дер Аалст В., Ломазова И. А. и др., , in : MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. : NY : ACM, 2016. P. 123-123.
Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with ...
Добавлено: 8 октября 2016 г.
Vladimir A. Bashkin, Ломазова И. А., , in : Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13). Satellite events of the 34th International Conference on Application and Theory of Petri Nets and Concurrency. Milano, Italy, June, 2013. Vol. 989: CEUR Workshop Proceedings.: [б.и.], 2013. P. 61-75.
In this work we consider modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. We do not constrain neither the intermediate nor final resource markings, hence a net can have ...
Добавлено: 17 августа 2013 г.
Каленкова А. А., ван дер Аалст В., Ломазова И. А. и др., Software and Systems Modeling 2017 Vol. 16 No. 4 P. 1019-1048
Добавлено: 11 июня 2015 г.
Roman A. Nesterov, Irina A. Lomazova, , in : Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. Vol. 779: Communications in Computer and Information Science.: Springer, 2018. P. 151-162.
Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the so-called state space explosion problem, when the size of the system reachability set grows exponentially on the number of interacting agents. ...
Добавлено: 7 октября 2017 г.
Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in : Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49-67.
Добавлено: 12 августа 2020 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., , in : Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020). Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34-45.
Добавлено: 14 января 2021 г.
Карраскель Г. Х., Ломазова И. А., Itkin I., , in : Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 92-103.
Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. ...
Добавлено: 14 октября 2019 г.
R.A. Nesterov, S.Yu. Savelyev, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 3 P. 155-170
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 apply a collection of local refinement transformations, which extends the internal structure of the reference model. The correctness of applying these transformations is justified via Petri net morphisms and by ...
Добавлено: 9 августа 2021 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Julio C. Carrasquel, Ломазова И. А., , in : ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. Ch. 4. P. 1-12.
Добавлено: 28 августа 2019 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2011 Vol. 109 No. 3 P. 223-236
Добавлено: 2 февраля 2013 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 285-302
В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также ...
Добавлено: 10 июля 2018 г.