Over the past two decades, many studies have been published in diverse fields of
application combining agent abilities (knowledge processing, communication, learning …

Event logs of information systems consist of recorded traces, describing executed activities
and involved resources (eg, users, data objects). Conformance checking is a family of …

Conformance checking methods diagnose to which extent a real system, whose behavior is
recorded in an event log, complies with its speci cation model, eg, a Petri net. Nonetheless …

Process mining is emerging as an important discipline for the analysis, monitoring, and
improvement of business and software processes. Methods from process mining are based …

Trading systems have become sophisticated multi-agent infrastructures with complex
development cycles. This is why the financial industry constantly seeks for novel approaches …

Modern higher education takes advantage of MOOC technology. Modeling an education
process of Massive open online courses (MOOCs) as a dynamic and multi-agent process is …

Multi-agent systems are concerned with decision-making tasks where multiple agents act in
a shared environment. Agents can observe their environment (partially or fully), act to impact …

Аннотация Методы проверки соответствия позволяют установить, в какой степени
реальная система, поведение которой регистрируется в журнале событий …

This paper looks at the industrial experience of using automated model-based approach for
the black-box testing of trading systems. The approach, used by Exactpro, is described using …

In today's business environment, it is crucial to have systems that can analyze, diagnose,
enhance processes, and optimize organizational outcomes. Currently, there is limited …