德语,莱因哈德 具有一般执行策略的马尔可夫再生随机Petri网:补充变量分析和原型工具。 (英语) Zbl 1052.68637号 执行。评估。 39,编号1-4165-188(2000). 摘要:考虑具有一般激发时间分布的随机Petri网。一般来说,定时转换可以有一般的执行策略:抢占策略可以是抢占式重复不同或抢占式恢复,并且触发时间分布可以是标记相关的。通过补充变量,提出了一种涵盖所有可能组合的平稳分析方法。该方法在基于Mathematica的原型工具SPNica中实现。WWW服务器模型说明了一般执行策略的使用。 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 软件:静电除尘器;SPNica公司;GreatSPN 1.7;GreatSPN公司;数学软件;TimeNET(时间网) PDF格式BibTeX公司 XML格式引用 \textit{R.德语},执行。评估。39,编号1--4,165-188(2000;Zbl 1052.68637) 全文: 内政部