论文标题
嵌套培养皿网和多代理系统的事件日志的组成符合度检查
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
论文作者
论文摘要
本文介绍了嵌套培养皿网和多代理系统事件日志之间的组成符合检查方法。通过将事件日志投影到模型组件上，可以在每个投影日志和相应组件之间执行一致性检查。我们正式证明了方法的有效性，证明，检查嵌套彼得网络的适应性等效于检查其每个组件的适应性。利用嵌套培养皿网的多代理系统结构，这种方法可以为每个系统组件提供特定的一致性诊断，并在分解一个模型以进行一致性检查时避免计算人工边界。
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.
