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

16 Mar 2020 Mecheraoui Khalil Carrasquel Julio C. Lomazova Irina A.

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... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • SOFTWARE ENGINEERING
  • LOGIC IN COMPUTER SCIENCE
  • MULTIAGENT SYSTEMS