Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
This provides specific diagnostics for each component in multi-agent systems, though it is incremental as it builds on existing conformance checking methods.
The paper tackles the problem of conformance checking between nested Petri nets and event logs in multi-agent systems by projecting logs onto model components, proving that checking fitness for the net is equivalent to checking each component individually.
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.