小顶点覆盖使Petri网覆盖性与有界性问题更易求解
数据结构与算法
2015-05-19 v1 计算复杂性
摘要
已知 Petri 网的覆盖性和有界性问题是 Expspace 完全的。给定一个 Petri 网，我们将其与一个图相关联。以该图的顶点覆盖数 k 和最大弧权重 W 为参数，我们证明了覆盖性和有界性属于 ParaPspace。这意味着这些问题可以在 O(ef(k,W)poly(n)) 的空间内求解，其中 ef(k,W) 是某个指数函数，poly(n) 是关于输入大小的某个多项式。然后，我们将该 ParaPspace 结果扩展到对某种逻辑的模型检测，该逻辑可以表达覆盖性和有界性的某些推广。
引用
@article{arxiv.1009.2577,
title = {Small Vertex Cover makes Petri Net Coverability and Boundedness Easier},
author = {M. Praveen},
journal= {arXiv preprint arXiv:1009.2577},
year = {2015}
}
备注
Full version of the paper appearing in IPEC 2010