TY  - RPRT
TI  - Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
AU  - Khalil Mecheraoui
AU  - Julio C. Carrasquel
AU  - Irina A. Lomazova
PY  - 2020
UR  - https://arxiv.org/abs/2003.07291
ID  - 2003.07291
ER  -