伟大的SPN

GreatSPN2.0是一个软件包,用于使用广义随机Petri网及其有色扩展:随机良构网对分布式系统进行建模、验证和性能评估。该工具为实验基于时间Petri网的建模技术提供了一个友好的框架。它实现了高效的分析算法,允许它在相当复杂的应用程序中使用,而不仅仅是玩具示例。GreatSPN2.0是由许多独立的程序组成的,它们通过共享文件来合作构建和分析PN模型。使用网络文件系统功能,可以在分布式计算环境中的不同计算机上运行不同的分析模块。GreatSPN2.0的模块化结构使它能够随着新的研究结果的出现而增加新的分析模块。所有模块都用C编程语言编写,以保证在不同Unix机器上的可移植性和效率。所有的解决方案模块都使用特殊的存储技术来为中间结果文件和程序数据结构节省内存。。


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

显示第1到第20个结果,共57个。
按年份排序(引用)
  1. Garavel,Hubert:嵌套单元Petri网(2019)
  2. 安圭斯,阿莱西奥;巴尔博,詹弗兰科;贝克蒂,马可;比博纳,恩里科;霍瓦特,安得拉斯;Sirovich,Roberta:通过混合切换跳跃扩散对生物系统的近似分析(2015)
  3. 安帕罗尔,埃尔维奥·吉尔伯托;贝克蒂,马可;Donatelli,Susanna:(随机)GreatSPN模型检验(2014)ioport公司
  4. 贝克蒂,马可;比博纳,恩里科;霍瓦特,安得拉斯;西罗维奇,罗伯塔;安圭斯,阿莱西奥;Balbo,Gianfranco:通过随机微分方程分析Petri网模型(2014)
  5. 贝诺,安妮;加莱,马修;高哈尔,布鲁诺;Robert,Yves:计算概率和复制流应用程序的吞吐量(2014)
  6. 贝莱蒂尼,卡罗;卡米利,马特奥;卡普拉,洛伦佐;Monga,Mattia:MaRDiGraS:大型集群上可达性图的简化构建(2013)
  7. 巴博特,贝诺;哈达德,谢尔盖;Picaronny,Claudine:统计模型检验的耦合和重要性抽样(2012)
  8. 科朗格,M。;巴力尔。;科尔顿,F。;Thierry Mieg,Y.:鳄鱼:一种用于分析带袋对称网的符号/符号工具(2011)
  9. 科德罗,弗朗西丝卡;霍尔瓦思,安德鲁斯;玛尼尼,丹妮尔;露西娅,纳皮奥尼亚;德皮耶罗,马西米利亚诺;帕万,西蒙娜;皮科,安德里亚;维格利奥,安德里亚;塞雷诺,马特奥;布索里诺,费德里科;Balbo,Gianfranco:使用不变量和流量等效服务器简化复杂信号传导模型(2011)
  10. 巴巴尔,朱奈德;贝克蒂,马可;多纳泰利,苏珊娜;Miner,Andrew:GreatSPN增强决策图数据结构(2010)ioport公司
  11. 艾森特,基督徒;赫尔曼,霍尔格;张立军:随机世界中的并发与组合(2010)
  12. 赫尔曼,霍尔格;Katoen,Joost Pieter:交互马尔可夫链的原理和原因(2010)
  13. 巴什罗夫,Rza;科顿,法布里斯;Lort,Hüseyin:利用有色Petri网来决定置换可容许性(2009)
  14. 迪亚多,詹弗兰科;麦卡姆,盖伦;艾曼纽艾德帕维奥阿德特;Wan,Min:带决策图的P-半流计算(2009)
  15. 加比、纳威尔;杜特海莱,克劳德;Ioualalen,Malika:用于多类再审系统建模和分析的有色随机Petri网(2009)
  16. 卡普拉,洛伦佐;Walter Cazzola:通过反射Petri网进行进化设计:工作流应用(2008)
  17. Gharbi,Nawel:随机Petri网在不同休假策略下多服务器重试系统分析中的适用性(2008)
  18. 马西娅,赫密尼基尔达;瓦莱罗,瓦伦丁;卡特罗,费尔南多;Ruiz,M.Carmen:sPBC:具有立即多重作用的Petri盒演算的马尔科夫扩展(2008)
  19. Balbo,Gianfranco:广义随机Petri网导论(2007)
  20. 贝克蒂,M。;弗朗切斯基尼斯,G。;Haddad,S.:Markov决策Petri网和Markov决策良构网形式(2007)

更多出版物请访问:http://www.di.unito.it/~greatspn/index.html参考资料