GreatSPN 1.7 swMATH ID: 1562 软件作者: Chiola,G。;弗朗西斯科尼斯,G。;盖塔,R。;里巴多,M。 描述: GreatSPN 1.7:定时和随机Petri网的图形编辑器和分析器。本文描述了使用广义随机Petri网及其彩色扩展对分布式系统进行建模、验证和性能评估的GreatSPN 1.7包。该工具提供了一个友好的框架来实验基于时间Petri网的建模技术。它实现了高效的分析算法,允许在“真实”应用程序中使用,而不仅仅是玩具示例。它是由一所大学为非营利目的开发的,免费分发给其他大学用于教育和研究目的。文中概述了该软件包的完整体系结构及其应用示例。然后描述了各种分析和仿真模块。 主页: 网址:http://www.di.unito.it/~greatspn/index.html 关键词: Petri网;建模工具;CTMC公司;模拟 相关软件: GreatSPN公司;SPNP公司;CADP公司;政治公众人物协议;棱镜;莫比乌斯;TimeNET(时间网);智能_;DSPN快递;LOTOS公司;马赛尔;lcpSim公司;海伦娜;SYROCO公司;自旋;HASL公司;VESTA公司;Uppaal公司;LiQuor公司;MRMC公司 引用于: 38文件 更多出版物: 网址:http://www.di.unito.it/~greatspn/index.html#引用 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 GreatSPN 1.7:定时和随机Petri网的图形编辑器和分析器。 Zbl 0875.68663号G.奇奥拉。;弗朗西斯奇尼斯。;R·盖塔。;里巴多,M。 1995 全部的 前5名71位作者引用 5 朱利安娜·弗朗西斯科尼斯 4 苏珊娜·多纳泰利 4 谢尔盖,哈达德 4 霍尔格·赫尔曼斯 三 纳维尔·加尔比 2 詹弗兰科·巴尔博 2 洛伦佐·卡普拉 2 乔瓦尼·奇奥拉 2 吉安弗兰科·西亚多 2 克劳德·杜泰利特 2 罗萨诺·盖塔 2 德语,莱因哈德 2 马利卡·尤瓦拉伦 2 Joost-Pieter卡托恩 2 玛丽娜·里巴多 2 塞雷诺,马蒂奥 1 克里斯特尔·拜尔 1 保罗·巴拉里尼 1 巴博特,贝努伊特 1 巴罗斯,圣保罗 1 Rza Bashirov 1 马可·贝库蒂 1 西蒙娜·伯纳迪 1 马尔科·贝尔纳多 1 彼得·巴赫霍尔茨 1 纳迪亚·布西 1 哈维尔·坎波斯 1 鲁宾,卡瓦贾尔·斯齐亚菲诺 1 斯特凡诺·卡塞利 1 沃尔特·卡佐拉 1 费尔南多·库亚特罗 1 乔治·德尔扎诺 1 克里斯蒂安·艾森特罗 1 萨米·伊万格利斯塔 1 莉莉亚娜·费罗 1 杰恩·弗雷海特 1 哈桑·戈马 1 路易斯·戈麦斯 1 马可·格里鲍多 1 Boudewijn R.哈维尔科特。 1 贡特霍梅尔 1 毛罗·伊阿科诺 1 Jean-Michel伊利 1 克里斯托夫·朱伯特 1 彼得·坎佩尔 1 法布里斯·科登 1 亚历山大·科斯廷(Alexander E.Kostin)。 1 赫塞因·洛特 1 杰拉尔德·吕特根 1 赫梅内吉尔达·马西阿 1 Jean Mairesse女士 1 丹尼尔·马尼尼 1 保罗·马伦佐尼 1 斯特凡诺·马龙 1 尼古拉·马佐卡 1 Mecham,盖伦 1 爱德华多·梅纳 1 Daniel A.Menascé。 1 何塞·梅尔塞格尔 1 帕特里斯·莫雷奥 1 Nguyen、Hoang-Thach 1 艾曼纽尔·帕维奥德·阿代特 1 克劳迪娜·皮卡罗尼 1 Darryn J.里德。 1 鲁伊斯,M.卡门 1 瓦伦蒂安·瓦莱罗 1 瓦莱里亚·维托里尼 1 万,敏 1 于安迪·金青 1 张丽君 1 阿明·齐默尔曼 全部的 前5名引用于6个系列 5 绩效评估 2 数学和计算机建模 1 信息学报 1 并行与分布式计算杂志 1 美国计算机学会模型和计算机仿真汇刊 1 计算机基础理论 在5个字段中引用 36 计算机科学(68-XX) 三 概率论与随机过程(60-XX) 2 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文