Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets
This paper presents our research on trading and multi-agent systems. Trading systems support the processes of buying/selling financial instruments between traders, so the validation of their correctness is a crucial task. Conversely, multi-agent systems is a current topic of interest within the analysis of interactive processes. We use Petri nets as the formalism for system modelling and simulation, whereas for validation we consider the use of process mining, and specifically conformance checking. Our research aims to use and develop conformance heuristics that can be aware on the data perspective of processes, and to take into account concurrent and non-isolated process instances whose execution may depend on each other.