×

一类广义随机Petri网中标记概率的界。 (英语) Zbl 0736.60088号

马尔可夫链的数值解,Pap。1990年车间,概率。,纯应用程序。8, 597-616 (1991).
摘要:[有关整个系列,请参阅Zbl 0733.00019号.]
我们提出了计算一类广义随机Petri网(GSPN)模型稳态令牌概率紧界的方法。这种界限还可以更好地估计使用分解和聚合计算各种性能度量时产生的误差。首先,我们描述了在只考虑子网的情况下计算一类GSPN子网条件令牌概率的最佳上界和下界的方法。我们表明,如果可以获得有关其他子网的其他信息,则可以改进此类边界。然后,我们扩展了该技术,并概述了一种算法,用于计算由于GSPN级的聚合和分解而导致的误差边界。最后给出了一个例子来说明该技术和算法。

MSC公司:

60K20码 马尔可夫更新过程的应用(可靠性、排队网络等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用