SPNP公司

随机Petri网。随机Petri网包(SPNP)[2]是求解随机Petri网(SPN)模型的通用建模工具。SPN模型用SPNP的输入语言CSPL(C-basedspnlanguage)描述,CSPL是C编程语言[8]的一个扩展,它有助于简化SPN模型的描述。此外,如果用户不想在CSPL中描述自己的模型,则可以使用图形用户界面(GUI)来指定为求解模型而选择的求解方法的所有特征和参数。


zbMATH中的参考文献(参考文献48条,1标准件)

显示结果1到20,共48个。
按年份排序(引用)
  1. 波扎诺,马可;亚历山德罗·西马蒂;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  2. 伊亚尼,Panayioti C。;Neves,路易斯·C。;罗摩,多维尔;Andrews,John D.:使用NVIDIA图形处理单元加速Petri网模拟(2018)
  3. 刘丽雅;哈桑,奥斯曼;Tahar,Sofiène:HOL中有限状态离散时间马尔可夫链的形式推理(2013)
  4. 米什拉,凯萨里;Trivedi,Kishor S.:分析模型中认知不确定性传播的封闭形式方法(2013)
  5. 厉、沂南;Chen,Ing Ray:无线网状网络中移动数据访问的自适应每用户每对象缓存一致性管理(2011)ioport公司
  6. 徐天华;唐、陶;高春海;蔡百根:列车控制系统中数据通信系统的可靠性分析(2009)
  7. 李亚娟;林庄;李全林:随机工作流网络的简化框架(2008)
  8. 穆拉,伊万;Csikász Nagy,Attila:酵母细胞周期模型的随机Petri网扩展(2008)
  9. 阿明:随机离散事件系统。建模、评估、应用。(2008年)
  10. 布拉尼斯拉夫Hrúz;周孟初:离散事件动态系统的Petri网建模与控制。(2007年)
  11. 博尔奇,冈特;格雷纳,斯特凡;德梅尔,赫尔曼;Trivedi,Kishor S.:排队网络和马尔可夫链。计算机科学应用建模与性能评估。(2006年)
  12. 坦萨马尼,贾迈勒;Carrasco,Juan A.:使用分裂再生随机化对具有延迟修复的容错系统的马尔可夫模型的瞬态分析(2006)
  13. 贝尔,亚历山大;Haverkort,Boudewijn R.:Petri网的顺序和分布式模型检验(2005)ioport公司
  14. 贝尔,亚历山大;Haverkort,Boudewijn R.:Petri网的顺序和分布式模型检验(2005)ioport公司
  15. Carrasco,Juan A.:使用再生随机化对具有吸收状态的大型Markov模型的瞬态分析(2005)
  16. Carrasco,Juan A:使用再生随机化计算大回报马尔可夫模型的瞬态测度的界。(2003年)
  17. 赫尔曼,霍尔格;Joubert,Christophe:CADP的一组性能和可靠性分析组件(2003)
  18. 维尔纳比;Ioualalen,Malika:基于广义随机Petri网的重试排队系统性能分析(2002)
  19. 纽约,路易·玛丽;Tuffin,Bruno:使用随机Petri网对具有滞后的多类阈值队列进行建模和分析(2002)
  20. 戈马,哈桑;Daniel A.Menascé:基于组件的分布式软件系统的性能工程(2001)