Vol-2794⫷ Vol-2795 ⫸Vol-2796
urn:nbn:de:0074-2795-0


Vol-2795/paper3⫷Vol-2795/paper4⫸Vol-2795/paper5
Khalil MecheraouiJulio C. CarrasquelIrina A. Lomazova

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems