×

具有一般执行策略的马尔可夫再生随机Petri网:补充变量分析和原型工具。 (英语) Zbl 1052.68637号

摘要:考虑具有一般激发时间分布的随机Petri网。一般来说,定时转换可以有一般的执行策略:抢占策略可以是抢占式重复不同或抢占式恢复,并且触发时间分布可以是标记相关的。通过补充变量,提出了一种涵盖所有可能组合的平稳分析方法。该方法在基于Mathematica的原型工具SPNica中实现。WWW服务器模型说明了一般执行策略的使用。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部