APNN-工具箱 swMATH编号： 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公司；MRMC公司；fc2工具；mCRL2型；西尔万；M-树；BISIMULATOR（双模拟）；SIGREF公司；CAESAR_解决 引用于： 13文件 全部的 前5名13位作者引用 6 彼得·坎佩尔 5 彼得·巴赫霍尔茨 5 Dayar，Tugrul公司 2 M.Can Orhan 1 托德·考特尼 1 塞勒姆德里萨维 1 苏珊娜·多纳泰利 1 休伯特·加拉维 1 Joost-Pieter卡托恩 1 弗雷德里克·朗 1 威廉·H·桑德斯。 1 卡斯滕·泰珀 1 Wolf，Verena公司 全部的 前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） 按年份列出的引文