4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Khalil Mecheraoui, Julio C. Carrasquel, Irina A. Lomazova
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,…