Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach

R Nesterov, L Bernardinello, I Lomazova… - Software and Systems …, 2023 - Springer
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 concerned with the structure …

Collaboration Petri Nets: Verification, Equivalence, and Discovery (Extended Version)

JV Benzin, S Rinderle-Ma - arXiv preprint arXiv:2401.16263, 2024 - arxiv.org
Process modeling and discovery techniques aim to construct sound and valid process
models for different types of processes, ie, process orchestrations and collaboration …

[HTML][HTML] Information and Computing Ecosystem's Architecture for Monitoring and Forecasting Natural Disasters

V Gribova, D Kharitonov - Computers, 2024 - mdpi.com
Monitoring natural phenomena using a variety of methods to predict disasters is a trend that
is growing over time. However, there is a great disunity among methods and means of data …

Simulating petri nets with inhibitor and reset arcs

P Pertsukhov, AA Mitsyuk - Труды института системного …, 2019 - mathnet.ru
Event logs of software systems are used to analyze their behaviour and inter-component
interaction. Artificial event logs with desirable specifics are needed to test algorithms …

[PDF][PDF] Asynchronous interaction patterns for mining multi-agent system models from event logs

R Nesterov, I Lomazova - Proceedings of the MACSPro …, 2019 - researchgate.net
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 …

[引用][C] Multi-agent system for steel manufacturing process

AR Ricardo Rodríguez… - International …, 2022 - Institute of Advanced Engineering …

Симуляция сетей Петри с ингибиторными дугами и дугами сброса

ПА Перцухов, АА Мицюк - Труды Института …, 2019 - ispranproceedings.elpub.ru
Аннотация Журналы событий программных систем используются для анализа их
поведения и взаимодействия между компонентами. Искусственные журналы событий с …

Simulating Petri nets with inhibitor and reset arcs

PP Аlexeevitch, MA Alexandrovitch - Труды Института системного …, 2019 - cyberleninka.ru
Event logs of software systems are used to analyze their behaviour and inter-component
interaction. Artificial event logs with desirable specifics are needed to test algorithms …

Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами

РА Нестеров, АА Мицюк… - Труды Института …, 2018 - ispranproceedings.elpub.ru
Аннотация В работе предложен подход для моделирования и симуляции поведения
мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как …

[引用][C] Trabajo final presentado en opción al Título de Máster en Automática

ÁRR Rodríguez, GG Yero