阻塞自由选择网络中的转换及其对吞吐量的启示
摘要：有界自由选择Petri网路上，选择一条非冲突的变迁。那么存在一个唯一的可达标记，在其中除了被选中的变迁之外，其他所有变迁都不可启用。对于一个有路径的有界自由选择网路，该属性对于网路的任何变迁都成立。现在考虑一个有路径的有界随机有界自由选择网路，并假设路径选择和发射时间是独立且相同分布的。利用上述结果，我们证明了网路中所有变迁存在渐近发射吞吐量。此外，不同变迁的吞吐量向量可以明确计算，只需乘以一个乘法常数。
作者：Bruno Gaujal (LIP), Stefan Haar (IRISA), Jean Mairesse (LIAFA)
论文ID：0707.4372
分类：Other Computer Science
分类简称：cs.OH
提交时间：2007-07-31