SPNP公司

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


zbMATH中的参考文献(参考 48篇文章 48篇,第1条标准)

显示结果1到20,共48个。
按年份排序(引用)
  1. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  2. 2018年帕纳德维耶斯·维奥蒂(John Andre-Vi-Vi)利用模拟技术加速;约翰·拉马内维茨(John Ramid-Vi)和《加速模拟》(2018年)
  3. Liu,Liya;Hasan,Osman;Tahar,Sofiène:HOL中有限状态离散时间马尔可夫链的形式推理(2013)
  4. 分析传播学(Kishor-Temra,2013),知识不确定性分析法(Kishor Trivedi,2013)
  5. Li,Yinan;Chen,Ing Ray:无线网状网络中移动数据访问的自适应每用户每对象缓存一致性管理(2011)ioport公司
  6. 徐天华;唐涛;高春海;蔡百根:列控系统中数据通信系统的可靠性分析(2009)
  7. 李亚娟;林闯;李全林:随机工作流网络的简化框架(2008)
  8. Mura,Ivan;Csikász Nagy,Attila:酵母细胞周期模型的随机Petri网扩展(2008)
  9. 随机事件:离散事件系统。建模、评估、应用。(2008年)
  10. Hrúz,Branislav;Zhou,Mengchu:用Petri网和其他工具对离散事件动态系统进行建模和控制。(2007年)
  11. Bolch,Gunter;Greiner,Stefan;de Meer,Hermann;Trivedi,Kishor S.:排队网络和马尔可夫链。计算机科学应用建模与性能评估。(2006年)
  12. Temsamani,Jamal;Carrasco,Juan A:使用分裂再生随机化对具有延迟修复的容错系统的马尔可夫模型的瞬态分析(2006)
  13. Bell,Alexander;Haverkort,Boudewijn R.:Petri网的顺序和分布式模型检查(2005)ioport公司
  14. Bell,Alexander;Haverkort,Boudewijn R.:Petri网的顺序和分布式模型检查(2005)ioport公司
  15. Carrasco,Juan A.:使用再生随机化对具有吸收状态的大型Markov模型的瞬态分析(2005)
  16. Carrasco,Juan A:使用再生随机化计算大回报马尔可夫模型的瞬态测度的界。(2003年)
  17. Hermanns,Holger;Joubert,Christophe:一组用于CADP的性能和可靠性分析组件(2003)
  18. Gharbi,Nawel;Ioualalen,Malika:基于广义随机Petri网的重试排队系统性能分析(2002)
  19. Le Ny,Louis Marie;Tuffin,Bruno:基于阈值的多类滞后队列的随机Petri网建模与分析(2002)
  20. Gomaa,Hassan;Menascé,Daniel A.:基于组件的分布式软件系统的性能工程(2001)