We present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that
empowers users to easily create large-scale, modular Petri Nets for various spatial …

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 …

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 …

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

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 …

Trading systems are software platforms that support the exchange of securities (eg,
company shares) between participants. In this paper, we present a method to search for …