GreatSPN公司 swMATH ID: 384 软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 描述: GreatSPN2.0是一个软件包,用于使用广义随机Petri网及其彩色扩展:随机井形网对分布式系统进行建模、验证和性能评估。该工具提供了一个友好的框架来实验基于时间Petri网的建模技术。它实现了高效的分析算法,以允许在相当复杂的应用程序上使用,而不仅仅是玩具示例。GreatSPN2.0由许多单独的程序组成,这些程序通过共享文件在PN模型的构建和分析中进行合作。使用网络文件系统功能,可以在分布式计算环境中的不同机器上运行不同的分析模块。GreatSPN2.0的模块化结构允许在新的研究结果可用时添加新的分析模块。所有模块都是用C编程语言编写的,以确保在不同的Unix机器上的可移植性和效率。所有解决方案模块都使用特殊的存储技术来为中间结果文件和程序数据结构节省内存。。 主页: 网址:http://www.di.unito.it/~greatspn/index.html 相关软件: GreatSPN 1.7;TimeNET(时间网);CADP公司;SPNP公司;政治公众人物协议;棱镜;梅德利;LOTOS公司;智能_;莫比乌斯;DSPN快递;Matlab公司;ITS工具;玛丽;TINA公司;利比亚DDD;MRMC公司;马赛尔;lcpSim公司;海伦娜 引用于: 53文件 更多出版物: 网址:http://www.di.unito.it/~greatspn/index.html#引用 标准条款 1出版物描述软件 年份 使用决策图数据结构增强了GreatSPN朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 2010 全部的 前5名106位作者引用 6 朱利安娜·弗朗西斯科尼斯 5 詹弗兰科·巴尔博 4 苏珊娜·多纳泰利 4 霍尔格·赫尔曼斯 三 马可·贝库蒂 三 洛伦佐·卡普拉 三 克劳德·杜泰利特 三 纳维尔·加尔比 三 谢尔盖,哈达德 三 安德拉斯·霍瓦思 三 塞雷诺,马蒂奥 2 阿莱西奥·安吉乌斯 2 恩里科·比博纳 2 彼得·布霍尔茨 2 乔瓦尼·奇奥拉 2 吉安弗兰科·西亚多 2 罗萨诺·盖塔 2 马可·格里鲍多 2 毛罗·伊阿科诺 2 马利卡·尤瓦拉伦 2 Joost-Pieter卡托恩 2 Fabrice Kordon公司 2 丹尼尔·马尼尼 2 尼古拉·马佐卡 2 玛丽娜·里巴多 2 罗伯塔·西罗维奇 2 蒂里·米格(Yann Thierry-Mieg) 2 瓦莱里亚·维托里尼 1 马丁·阿利特 1 苏海卜·巴里尔 1 克里斯特尔·拜尔 1 保罗·巴拉里尼 1 巴伯,贝诺 1 巴罗斯,圣保罗 1 Rza Bashirov 1 卡洛·贝莱蒂尼 1 安妮·本诺特 1 西蒙娜·伯纳迪 1 马可·贝尔纳多 1 亚历山大·比尔格拉姆 1 纳迪亚·布西 1 费德里科·巴斯索利诺 1 卡米利、马蒂奥 1 鲁宾,卡瓦贾尔·斯齐亚菲诺 1 Stefano卡塞利 1 沃尔特·卡佐拉 1 西尔瓦诺·恰拉多纳 1 Daniele Codetta-Raiteri公司 1 马克西米利安·科朗格 1 弗朗西丝卡·科德罗 1 费尔南多·库亚特罗 1 马西米利亚诺·德·皮耶罗 1 乔治·德尔扎诺 1 费利西塔·迪·詹多梅尼科 1 艾格特,H。 1 克里斯蒂安·艾森特罗 1 萨米·伊万格利斯塔 1 莉莉亚娜·费罗 1 弗里德里希·里奇 1 马蒂厄·加莱特 1 休伯特Garavel 1 布鲁诺·高加尔 1 德语,莱因哈德 1 路易斯·戈麦斯 1 Boudewijn R.哈维尔科特。 1 Jean-Michel伊利 1 彼得·格约尔·詹森 1 金、群 1 晋、泰 1 克里斯托夫·朱伯特 1 斯特凡·卡伦 1 彼得·坎佩尔 1 亚历山大·科斯廷(Alexander E.Kostin)。 1 马雷克·莱斯扎克 1 克里斯托夫·林德曼 1 赫塞因·洛特 1 杰拉尔德·吕特根 1 赫梅内吉尔达·马西阿 1 保罗·马伦佐尼 1 斯特凡诺·马龙 1 朱利奥·马塞蒂 1 奥尔勒·马特森 1 加伦·麦卡姆 1 马蒂亚·蒙加 1 帕特里斯·莫雷奥 1 伊莎贝尔·穆尼尔 1 露西娅·纳皮恩 1 马蒂亚斯·尼贝格 1 西蒙娜·帕万 1 艾曼纽尔·帕维奥德·阿代特 1 克劳迪娜·皮卡罗尼 1 安德里亚·皮科 1 Darryn J.里德。 1 伊夫·罗伯特 1 莱昂纳多·机器人 1 鲁伊斯,M.卡门 1 科达卡拉姆Salimifard 1 吉·斯尔巴 1 杉泽义雄 1 彼得·坦奎斯特。 …还有6位作者 全部的 前5名12篇连载文章中引用 7 绩效评估 三 数学和计算机建模 2 理论计算机科学 2 计算机基础理论 1 信息学报 1 应用数值数学 1 算法 1 并行与分布式计算杂志 1 欧洲运筹学杂志 1 美国计算机学会模型和计算机仿真汇刊 1 信息-Fachberichte 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 49 计算机科学(68至XX) 8 概率论与随机过程(60-XX) 4 数值分析(65-XX) 4 运筹学、数学规划(90-XX) 三 系统论;控制(93至XX) 2 生物学和其他自然科学(92-XX) 按年份列出的引文