工作流网中健全性的复杂度
计算机科学中的逻辑
2022-01-17 v1
摘要
工作流网是Petri网的一种流行变体，允许对业务流程进行算法形式化分析。关于工作流网的核心决策问题涉及健全性，其中初始与最终构型是指定的。直观上，健全性意指从每个可达构型都能到达最终构型。我们厘清了三种主要健全性变体——经典、结构与广义健全性——广泛开放的复杂度问题。前两者为EXPSPACE完全，而出乎意料地，后者为PSPACE完全，因而计算上更简单。
引用
@article{arxiv.2201.05588,
title = {The complexity of soundness in workflow nets},
author = {Michael Blondin and Filip Mazowiecki and Philip Offtermatt},
journal= {arXiv preprint arXiv:2201.05588},
year = {2022}
}
备注
16 pages, 6 figures