嵌套 Petri 网与多智能体系统事件日志的组合式一致性检测
软件工程
2020-03-17 v1 计算机科学中的逻辑
多智能体系统
摘要
本文提出一种嵌套 Petri 网与多智能体系统事件日志之间的组合式一致性检测方法。通过将事件日志投影到模型组件上，可对每一投影日志与相应组件进行一致性检测。我们形式化地证明了该方法的有效性：检验嵌套 Petri 网的适应度等价于检验其各组件的适应度。利用嵌套 Petri 网的多智能体系统结构，该方法可为各系统组件提供特定的一致性诊断，并避免在分解模型进行一致性检测时计算人为边界。
引用
@article{arxiv.2003.07291,
title = {Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems},
author = {Khalil Mecheraoui and Julio C. Carrasquel and Irina A. Lomazova},
journal= {arXiv preprint arXiv:2003.07291},
year = {2020}
}