寻找工作流网中的AND-OR层次结构
计算机科学中的逻辑
2017-01-10 v1
摘要
本文提出AND-OR归约(AND-OR reduction)的概念，该归约通过迭代地将某些良构子网收缩为单个节点，将工作流网(WF net)归约为一个更小的网，直到不再可能进行此类收缩。这种归约能够揭示WF网的层次结构，并且由于它保持诸如合理性(soundness)等某些语义属性，因此有助于分析和理解一个WF网为何合理或不合理。该归约也可用于验证一个WF网是否为AND-OR网(AND-OR net)。这类WF网在前期工作中已被引入，可以说描述了遵循良好层次设计原则的网。研究表明，AND-OR归约在同构意义下是合流的(confluent)，这意味着尽管由于所收缩子网的选择存在固有的非确定性，归约的最终结果在节点标识的选择上总是相同的。基于该结果，提出了一种多项式时间算法，用于计算AND-OR归约的这一唯一结果。最后，展示了如何利用该算法来验证一个WF网是否为AND-OR网。
引用
@article{arxiv.1701.02199,
title = {Finding AND-OR Hierarchies in Workflow Nets},
author = {Jacek Sroka and Jan Hidders},
journal= {arXiv preprint arXiv:1701.02199},
year = {2017}
}