基于展开的过程发现
计算机科学中的逻辑
2015-07-13 v1
摘要
本文提出一种新颖的过程发现技术。与当前仅考虑事件日志来发现过程模型趋势不同，我们假设两个额外输入：日志活动集上的独立关系，以及负轨迹集合。从中导出中间网展开后，我们执行受控折叠，产生一个Petri网，该网包含输入日志及由其产生的所有独立等价轨迹。显著地，导出的Petri网不能执行负集合中的任何轨迹。整个转换链完全自动化。已开发工具并提供实验结果，证明了本文贡献的重要性。
引用
@article{arxiv.1507.02744,
title = {Unfolding-Based Process Discovery},
author = {Hernán Ponce-de-León and César Rodríguez and Josep Carmona and Keijo Heljanko and Stefan Haar},
journal= {arXiv preprint arXiv:1507.02744},
year = {2015}
}
备注
This is the unabridged version of a paper with the same title appearead at the proceedings of ATVA 2015