着色工作流网的归约规则
计算机科学中的逻辑
2016-01-11 v1
摘要
我们研究着色工作流网，一种在工作流网基础上扩充数据的模型。基于 Esparza 和 Desel[arXiv:1307.2145,arXiv:1403.4958] 关于协商并发模型的前期工作，我们提出针对该模型的归约规则。与先前工作相反，我们的规则不仅保持合理性，而且保持数据流语义。对于自由选择网，这些规则将所有合理网（且仅有它们）归约为具有单个变迁和相同数据流语义的网。我们给出一种显式算法，仅需多项式次数的规则应用。
引用
@article{arxiv.1601.01928,
title = {Reduction Rules for Colored Workflow Nets},
author = {Javier Esparza and Philipp Hoffmann},
journal= {arXiv preprint arXiv:1601.01928},
year = {2016}
}