APNN-工具箱 swMATH ID: 6976 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 描述: APNN-Toolbox试图围绕公共交换接口创建一个开放的工具集,即所谓的抽象Petri网表示法(APNN)。工具箱明确关注分析方法,这些方法考虑了完整的状态空间,并且公共状态空间爆炸问题是通过Kronecker表示实现的。工具箱提供了一个图形用户界面(APNNed)来指定Petri网并控制后续分析。其他建模形式和工具连接到APNN-Toolbox,这是PEP、GreatSPN的情况,也是多特蒙德大学合作研究中心559物流网络建模中使用的过程链形式主义工具。功能分析包括检查经典Petri网活性的工具,还包括计算树逻辑(CTL)和线性时态逻辑(LTL)的模型检查,以考虑更一般的属性。所有这些方法的实现都得益于给定的Kronecker表示。定量分析侧重于连续时间马尔可夫链(CTMC)及其瞬态或稳态行为。对于模块化和层次化的Kronecker表示,已经实现了多种多样的数值技术。这些技术产生瞬态或稳态分布,这些分布或被聚合为典型的性能度量,如令牌种群的分布和转移的平均吞吐量。 主页: 网址:http://ls4-www.cs.tu-dortmund.de/APNN-TOOLBOX/ 关键词: 抽象Petri网表示法:APNN;克罗内克 相关软件: 棱镜;政治公众人物协议;LDQBD公司;政治公众人物;COLAMD公司;张量工具箱;工具箱2;htucker公司;Netlib(网络图书馆);MATLAB ODE套件;TT工具箱;Matlab公司;M-树;克洛诺斯;MRMC公司;fc2工具;mCRL2型;西尔文;共刺激物;SIGREF公司 引用于: 13文件 全部的 前5名13位作者引用 6 彼得·坎佩尔 5 彼得·巴赫霍尔茨 5 Dayar,Tugrul公司 2 M.Can Orhan 1 托德·考特尼 1 塞勒姆·德里萨维 1 苏珊娜·多纳泰利 1 休伯特·加拉维 1 Joost-Pieter卡托恩 1 弗雷德里克·朗 1 威廉·H·桑德斯。 1 卡斯滕·泰珀 1 维雷娜·沃尔夫 全部的 前5名7篇连载文章中引用 2 SIAM科学计算期刊 1 绩效评估 1 系统设计中的形式化方法 1 数值线性代数及其应用 1 逻辑与代数程序设计杂志 1 Springer数学简介 1 Springer运筹学与金融工程系列 全部的 前5名在6个字段中引用 8 计算机科学(68至XX) 6 概率论与随机过程(60-XX) 4 数值分析(65-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 按年份列出的引文