  This paper presents a compositional conformance checking approach between
nested Petri nets and event logs of multi-agent systems. By projecting an event
log onto model components, one can perform conformance checking between each
projected log and the corresponding component. We formally demonstrate the
validity of our approach proving that, to check fitness of a nested Petri net
is equivalent to check fitness of each of its components. Leveraging the
multi-agent system structure of nested Petri nets, this approach may provide
specific conformance diagnostics for each system component as well as to avoid
to compute artificial boundaries when decomposing a model for conformance
checking.
