×

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#引用
全部的 前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 阿明·齐默尔曼

按年份列出的引文