阻塞自由选择网中的变迁及其对吞吐量的启示
其他计算机科学
2007-07-31 v1
摘要
在一个活性且有界的自由选择 Petri 网中，选取一个非冲突变迁。那么存在唯一的可达标识，使得除了所选变迁外，没有其他变迁处于使能状态。对于一个路由的活性且有界自由选择网，该性质对网中的任何变迁都成立。现在考虑一个活性且有界的随机路由自由选择网，并假设路由和触发时间是独立同分布的。利用上述结果，我们证明了网中所有变迁的渐近触发吞吐量的存在性。此外，不同变迁处的吞吐量向量可以显式计算，直至相差一个乘法常数。
引用
@article{arxiv.0707.4372,
title = {Blocking a transition in a Free Choice net and what it tells about its throughput},
author = {Bruno Gaujal and Stefan Haar and Jean Mairesse},
journal= {arXiv preprint arXiv:0707.4372},
year = {2007}
}