Petri网性能等价性的不可判定性
计算复杂性
2015-06-29 v2 性能
摘要
我们研究了持续语义下Petri网上的互模拟等价。我们的动机是验证一个猜想：在持续设定下，互模拟等价检测问题比普通设定下更易处理（例如，在无通信网中就是这种情况）。我们在持续语义的四个提议变体中的三个中否定了这一猜想。第四个变体仍然是一个引人入胜的开放问题。
引用
@article{arxiv.0910.5819,
title = {Undecidability of performance equivalence of Petri nets},
author = {Slawomir Lasota and Marcin Poturalski},
journal= {arXiv preprint arXiv:0910.5819},
year = {2015}
}