PAIS Lab seminar: Possible applications of using Petri nets compositions by means of morphisms for process mining // Roman Nesterov

At the session of our seminar,  Roman Nesterov (Master's student at the HSE CS Faculty) delivered a report "Possible applications of using Petri nets compositions by means of morphisms for process mining".

Abstract:
In the development of distributed  multi-agent systems, means of providing support for various aspects of the modular design principle, including compositionality, abstraction, and refinement play an important role. There are several different approaches to the formal solution of this problem, one of which is based on modeling behavior of agents using different classes of Petri nets and their subsequent formulation through the auxiliary system by means of defining morphisms between agent and each network interface. The interface can be considered as an abstract representation of the whole system, as well as a protocol according to which agents interact. The report presents several morphisms which differ in teems of classes of Petri nets they use. Moreover, possibility of using this approach for the construction of models of multi-agent systems based on their event logs.