Petri-net integration – An approach to support multi-agent process mining · Study