|
| |
|
|
|
|
 |
| |
|
-
简介 GreatSPN公司 -
是什么 GreatSPN公司 GreatSPN2.0是一个用于建模、验证和性能的软件包 基于广义随机Petri网的分布式系统评估 以及它们的彩色延伸：随机井形网。 该工具提供 基于时间Petri网建模的友好实验框架 技术。 它实现了高效的分析算法以允许其使用 在相当复杂的应用程序上，不仅仅是玩具示例。 GreatSPN2.0由许多单独的程序组成，这些程序在 通过共享文件构建和分析PN模型。 使用网络 文件系统功能，不同的分析模块可以在不同的 分布式计算环境中的机器。 模块化结构 GreatSPN2.0允许添加新的分析模块 随着新的预订结果变得可用。 所有模块均已写入 保证可移植性和效率的C编程语言 不同的Unix机器。 所有解决方案模块都使用特殊的存储技术 为中间结果文件和程序数据节省内存 结构。 最近添加了几个最先进的分析原型 软件包中：一种快速计算性能的算法 基于线性规划技术的边界，工作于纯结构 level（计算的界限仅取决于 不依赖于此类延迟的p.d.f.的过渡）； 随机井网分析算法 具有设计复杂系统模型可能性的用户 以更紧凑的方式，并允许更高效的状态空间分析 自动利用模型对称性（通过符号 RG概念）。 此外，图形界面最近已经移植到 OSF Motif在不同硬件平台下实现了高可移植性。
运行所需的硬件和软件 GreatSPN 2.0版 此软件包已在我们的网站上编译，使用： Linux Fedora、Ubuntu（INTEL） 海湾合作委员会 主题2.0 X11R6型
Mac OS X 10.4（PPC） 海湾合作委员会
主题2.0 X11号机组
遵循一份（非详尽的）参与 开发和维护 GreatSPN公司 和相关工具： G.Chiola、R.Gaeta、A.Horvath、M.De Pierro、M.Beccuti、S.Baarir、D.Cerotti、Elvio Amparore。
与其他大学的合作： -
基于GreatSPN处理SWN模型的一些核心功能，SWN形式主义解算器的新有趣发展正在与巴黎玛丽·居里大学LIP6的MoVe组（代表F.Kordon教授）合作以及与CReSTIC实验室（代表P.Moreaux教授）合作中进行 兰斯香槟阿丁大学（URCA）。
-
GreatSPN公司 主要特点 该工具的主要功能概述如下： -
图形界面 在OSF Motif 1.2（或更高版本）下运行允许： 图形模型编辑，包括分层、剪切和粘贴、选择， 旋转、缩放、样条线、缩放、PostScript中改进的打印， 等。 结构特性的图形表示 具有优先级和约束弧的PN交互式代币游戏 （暂时不适用于彩色网） 使用子模型的剪切和粘贴选项访问模型数据库 定时和随机规范、参数的定义， 和性能度量 菜单驱动的与分析模块的交互 性能结果的图形表示 时间和随机模型的图形交互仿真 （暂时不适用于彩色网）
-
结构特性 对于具有优先级和抑制剂的网络 弧（暂时不适用于彩色网络） 位置和转换不变量 死锁和陷阱 隐含的地方 因果联系与结构冲突 相互排斥 扩展冲突集（ECS）与结构混乱 结构有界性与无界转移序列
线性规划 定时P/T网络的性能界限（不是 暂时用于有色网络）：过渡的上下限 吞吐量和平均位置标记 可达图 生成和分析程序 家庭空间、死锁和活锁 过渡活跃度
马尔可夫解算器 用于稳态和瞬态性能 利用高效稀疏矩阵数值技术进行评估。 模拟 交互式事件驱动模拟模块（非 暂时用于彩色网）。 配合图形界面， 他们提供 交互式仿真，具有模型的图形动画和 令牌的移动，具有分步、自动运行、向前 和向后时间推进，实时更新性能数据， 任意重新安排事件。 批量模拟，具有周期性采样和实时更新 图形界面上的性能数据和计算 置信区间
模拟状态定期保存在文件中，以便 可以随时恢复模拟运行。 几种概率分布 允许过渡时间（包括均匀、离散、Cox、， Erlang等）。 形成良好的 彩色网络分析原型 彩色符号可达图的构造、转换 集总马尔可夫链、稳态和瞬态马尔可夫分析 彩色和符号模拟
-
通过网络合成 代数 -
多个实验管理 多溶剂
以下项目为 现在可用！！ 将SWN模型展开为GSPN模型 ps/eps格式（S）RG的图形表示 在Linux上运行GreatSPN的VMware虚拟机 SWN模型的扩展SRG解算器（测试版） SWN模型的动态SRG解算器（测试版） MDWN和MDPN形式化建模优化问题（测试版） -
利用决策图进行树状反例的CTL模型检验 （测试版） -
CSL公司 助教 利用马尔可夫更新过程最新解方法的模型检查器 （测试版） -
GSPN模型的新（基于Java）GUI （测试版）
如何获取包裹 该套餐对大学和非营利组织免费提供， 而它可以从大学信息学院购买 di Torino（意大利）被其他组织/公司收购。 获取的程序 它是下面的。 摘录许可协议( 乳胶 文件 或 postscript文件 , PDF文件 )，打印并返回 由贵机构负责人签署
优秀的SPN员工 信息学院 都灵大学 传真号码：（+39）（011）（751603） 通过电子邮件发送( greatspn@di.unito.it ) 或传真您将使用的机器的名称和互联网地址 连接到我们的服务器。 收到后，我们将向您发送一封电子邮件，其中包含所有 检索包的源代码和 其文档。
GreatSPN公司 用户手册 单击此处获取的新入门手册 伟大SPN2.0 （作为 PDF格式 或 PostScript（后置脚本） ). （几乎）完整的手册是 酒店雇员和饭馆雇员
GSPN和 SWN网络 -
遵循GSPN和SWN模型示例列表：对于每个示例，都是可能的 下载包含建模系统描述的zip文件( .pdf格式 ), 中的模型文件 GreatSPN公司 格式( .net文件 和 .def定义 ), 由生成的一些结果文件 GreatSPN公司 （例如符号可达性 SWN模型图- .srg文件* 文件-计算的性能指数 通过 GreatSPN公司 - .sta（.sta） 文件-等）。 包含README文件 解释包中每个文件的内容。
GSPN网络示例： 读写器模型 看板系统 Randon轮询系统 假脱机系统 多任务网格模型
-
SWN网络示例：
-
参考文献 -
包装上的文件 G.Chiola、G.Franceschinis、R.Gaeta和M.Ribaudo。 GreatSPN 1.7：定时和随机图形编辑器和分析器 Petri网。
性能评估，性能建模专题 工具，24（1&2）：47-681995年11月。 S.Bernardi、S.Donatelli和A.Horváth。 GreatSPN工具的组成性及其在建模中的应用 工业应用。
技术转让软件工具 S.Bernardi、C.Bertoncello、S.Donatelli、G.Franceschinis、G.Gaeta、M.Gribaudo和Horváth。 新千年的伟大PN。
2001年亚琛工具，国际计量、建模和评估多方会议 计算机通信系统，第760/2001号研究报告，多特蒙德大学（德国），2001年9月，第17-23页。 J.M.Ilie、S.Baarir、M.Beccuti、C.Delamare、S。 多纳泰利、C.杜泰利特、G.弗朗西斯科尼斯、R.盖塔、P.莫罗。 GreatSPN中的扩展SWN解算器。
第一届系统定量评估国际会议（QEST04），荷兰恩舍德，2004年9月。 IEEE学会出版社：324-325 M.Beccuti、D.Codetta-Raiter、G.Franceschinis和S.Haddad。 设计和求解马尔可夫决策井形网模型的框架。
2007年9月16日至19日，苏格兰爱丁堡，第四届系统定量评估国际会议（QEST07）论文集。IEEE计算机 社会出版社。 S.Baarir、M.Beccuti和G.Franceschinis。 GreatSPN中非对称系统的新解算器。
在2008年第五届系统定量评估国际会议（QEST）上，第235-236页，St。 2008年9月14日至17日，法国马洛。 IEEE计算机学会出版社 S.Baarir、M.Beccuti、D.Cerotti、M.De Pierro、S.Donatelli和G.Franceschinis。 GreatSPN工具：最近的增强功能。
ACM绩效评估评审特刊《绩效评估工具》，第36卷，第4期，2009年9月，第4-9页。 J.Babar、M.Beccuti、S.Donatelli和A.Miner。 使用决策图数据结构增强的GreatSPN。
在第31届Petri网和其他并发模型应用和理论国际会议（ICATPN’10）上，Springer LNCS第6128卷，第308-317页。 六月 2010年21月25日，葡萄牙布拉加 M.Beccuti、S.Haddad、G.Franceschinis。 MDWNsolver：设计和求解马尔可夫决策Petri网的框架。
《国际性能工程杂志》，第7卷，第5期，2011年9月，第417-428页。 编辑：RAMS顾问。
关于GSPN和SWN形式的论文 M.Ajmone Marsan、G.Balbo和G.Conte。 一类用于性能分析的广义随机Petri网 多处理器系统。
ACM计算机系统交易，2（1），1984年5月。 M.Ajmone Marsan、G.Balbo、G.Conte、S.Donatelli和G.Franceschinis。
广义随机Petri建模 网络 .J.Wiley，1995年。 G.Chiola、J.Campos、J.M.Colom、M.Silva和C.Anglano。 时间Petri网的运算分析及其在计算中的应用 性能边界的。 在 程序。 第五名实习生。 Petri网和性能模型研讨会， 法国图卢兹，1993年10月。 IEEE-CS出版社。
G.Chiola、C.Dutheillet、G.Franceschinis和S.Haddad。 对称建模应用的随机格式良好的彩色网。
IEEE计算机汇刊，42（11）：1343--13601993年11月。 G.Chiola、M.Ajmone Marsan、G.Balbo和G.Conte。 广义随机Petri网：网级和 其含义。
IEEE软件工程汇刊，19（2）：89--107，2月 1993 R.Gaeta和G.Chiola。 SWN模型的有效模拟。 在 程序。 第六名实习生。 Petri网和性能模型研讨会， 美国达勒姆，1995年10月。 IEEE-CS出版社。 R.Gaeta，有色Petri的高效离散事件模拟 网络，
IEEE软件工程汇刊 9月22日（9） 1996 G.Chiola、C.Dutheillet、G.Franceschinis和S.Haddad。 有色Petri网的符号可达性图。
理论计算机科学B（逻辑、语义和理论 编程），176（1&2）：39-651997年4月，爱思唯尔。 M.Ajmone Marsan、S.Donatelli、G.Franceschinis和F.Neri。 广义随机Petri网和随机井型的约简 网络：概述和应用示例。 在 性能建模与仿真领域的最新技术： 《网络理论、工具和教程》，J.Walrand、K.Bagchi和G。 Zobrist（编辑） Gordon and Breach Publishers INC.，1997年 L.Capra、C.Dutheillet、G.Franceschinis、J.M.Ilie。 部分对称SWN的性能分析。
程序中。 第七届建模、分析和仿真国际研讨会（MASCOTS 99），美国马里兰州大学城（1999） S.Baarir、C.Dutheillet、S.Haddad和J-M.Ilie。 关于部分对称井网中精确集总率的使用。
程序中。 QEST，第23-32页，都灵-意大利，2005年9月。 M.Beccuti、S.Baarir、G.Franceschinis、J-M.Ilie。 部分对称系统中的有效集总检查。
第三届系统定量评估国际会议（QEST06），美国加州河滨，2006年9月。 IEEE Soc.出版社 G.Balbo、M.Beccuti、M.De Pierro和G.Franceschinis。 带队列位置的标记GSPN中的首次通过时间计算。
《计算机杂志》，牛津大学出版社。， 第54卷，第5期，2010年5月，第653-673页。 G.Balbo、M.Beccuti、M.De Pierro和G.Franceschinis。 上 随机Petri网中令牌调度策略的重要性。
《国际运筹学会议论文集》（OR2010），施普林格LNCS，第181-187页，2010年9月1-3日，德国慕尼黑/EM> S.Baarir、M.Beccuti、C.Dutheillet、G.Franceschinis、S.Haddad。 集总部分对称随机模型。 《国际绩效评估杂志》，第68卷，第1期，2011年1月，第21-44页。 M.Beccuti和G.Franceschinis 利用对称性有效模拟随机井网
《冬季模拟会议记录》（WSC12），第296-296页，德国柏林，2012年12月9日至12日。
GSPN和SWN案例研究 C.Anglano、S.Donatelli、G.Franceschinis和O.Botti 可重构高压变电站的性能预测 模拟器：一个使用SWN的案例研究 在 程序。 第七届Petri网与性能国际研讨会 M模式 1997年6月，法国圣马洛。 R.Gaeta和M.Ajmone Marsan， 大型敲出式ATM交换机的SWN分析与仿真，
LNCS第1420卷，程序。 第19届国际会议 Petri网的理论与应用 Springer-Verlag，1998年6月。 G.Franceschinis、C.Bertoncello、G.Bruno、G.Lungo Vaschetti 和A.Pigozzi 联系中心的SWN模型：案例研究。 在 程序。 第九国际 Petri网和性能模型研讨会 德国亚琛， 2001年9月 A.Bobbio、G.Franceschinis、R.Gaeta和G.Portinale 工业可编程逻辑控制器的可靠性评估 通过参数故障树和高级Petri网 程序。 第九 Petri网和性能模型国际研讨会 , 2001年9月，德国亚琛 M.Beccuti、A.Bottrighi、G.Franceschinis、S.Montani和P.Terenziani。 通过Petri网建模临床指南。
第十二届国际医学人工智能会议 （AIME’09），施普林格LNCS第5651卷，第61-70页。 2009年7月18日至22日， 意大利维罗纳。
|
|
|
|