SPNP公司 swMATH ID: 7933 软件作者： 克里斯托夫·希雷尔（Christophe Hirel）、布鲁诺·塔芬（Bruno Tuffin）、基索尔·斯特里维迪（Kishor S.Trivedi） 描述： 随机Petri网。随机Petri网软件包（SPNP）[2]是一个通用的建模工具，用于求解随机Petri网络（SPN）模型。SPN模型是在称为CSPL（基于C的SPN语言）的SPNP输入语言中描述的，CSPL是C编程语言[8]的扩展，具有便于描述SPN模型的附加结构。此外，如果用户不想在CSPL中描述他的模型，则可以使用图形用户界面（GUI）指定用于求解模型的解决方案方法的所有特征和参数。 主页： https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/spnp.html 相关软件： DSPN快递;GreatSPN 1.7;分享;静电除尘器;时间网络;GreatSPN公司;莫比乌斯;棱镜;智能_;马赛尔;MACOM公司;MPI/MPICH公司;MersenneTwister公司;SPN2MGM公司;MGM工具;ARENA公司;TELPACK公司;OMNet公司++;OCRA公司;nuXmv（数字） 引用于： 47文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 随机Petri网。版本6。0 Zbl 0970.68681号赫里斯托夫·希雷尔;布鲁诺·塔芬;Kishor S.特里维迪。 2000 全部的 前5名92位作者引用 12 特里维迪（Trivedi），基索尔·施里达尔巴伊（Kishor Shridharbbai） 4 布鲁诺·塔芬 三 胡安·安东尼奥·卡拉斯科 三 德语，莱因哈德 三 Boudewijn R.哈维尔科特。 三 阿明·齐默尔曼 2 冈特·博尔赫 2 乔瓦尼·奇奥拉 2 赫尔曼·德梅尔 2 艾伦·德罗彻斯。 2 斯特凡·格雷纳 2 贡特霍梅尔 2 奥利弗·丘库迪（Oliver Chukwudi Ibe） 2 维迪亚达尔·库尔卡尼。 2 Jogesh K.穆帕拉。 1 罗伯特·雅尔·阿尔贾尔。 1 约翰·安德鲁斯。 1 巴切利，弗朗索瓦·路易斯 1 詹弗兰科·巴尔博 1 辛齐亚·伯纳德斯基 1 亚历克斯·布莱克莫尔 1 安德烈亚·邦达瓦利 1 理查德·鲍切里（Richard J.Boucherie）。 1 马可·波扎诺 1 彼得·巴赫霍尔茨 1 蔡白根 1 哈维尔·坎波斯 1 文森佐·卡塔尼亚 1 陈东生 1 陈英瑞 1 菲利普·朱恩托·奇门托。 1 朱智平（Chu，Chih-Ping） 1 吉安弗兰科·西亚多 1 亚历山德罗·西马蒂 1 科尔曼，J.L。 1 乔尔吉·塞尔坦 1 Csikász-Nagy，阿提拉 1 朱利安娜·弗朗西斯科尼斯 1 杰恩·弗雷海特 1 罗萨诺·盖塔 1 高春海 1 高尔，M.S。 1 纳维尔·加尔比 1 哈桑·戈马 1 汉森，汉斯 1 奥斯曼·哈桑 1 楠迪亚拉·赫玛昌德拉 1 威廉·亨德森 1 霍尔格·赫尔曼斯 1 赫里斯托夫·希雷尔 1 格雷厄姆·霍顿 1 布拉尼斯拉夫·胡兹 1 马利卡·尤瓦拉伦 1 本特·琼森 1 克里斯托夫·朱伯特 1 凯琳，克里斯蒂安 1 路易斯·马里·勒尼 1 李全林 1 李亚娟 1 林，庄 1 克里斯托夫·林德曼 1 刘丽娅 1 瓦尔沙，缅因卡尔 1 伊斯特万·马齐克 1 克里斯蒂安·马塔雷 1 Daniel A.Menascé。 1 米什拉，凯萨里 1 伊凡·穆拉 1 雅达蒂·纳拉哈里 1 内维斯，路易斯·科斯塔 1 大卫·M·尼科尔。 1 罗伯·普利 1 安东尼奥·普利亚菲托 1 多维尔·拉玛 1 里德，斯蒂芬妮 1 玛丽娜·里巴多 1 利可宾，萨尔瓦多 1 Sandadi，翻转装置R。 1 卢卡·西蒙西尼 1 阿伦·索马尼。 1 索菲涅·塔哈尔 1 唐涛 1 塔拉修克，伊戈尔·瓦莱尔耶维奇 1 泰勒，彼得·杰拉德 1 贾马尔·特姆萨马尼 1 特里丹达帕尼，斯里尼瓦桑 1 洛伦佐·维塔 1 王丁超 1 徐天华 1 Panayioti C.伊安尼。 1 周梦初 1 埃莉亚·齐亚德 全部的 前5名21篇连载文章中引用 4 绩效评估 三 离散事件动态系统 2 电气电子工程师学会计算机期刊 2 计算机与运筹学 2 排队系统 2 计算的形式方面 2 欧洲运筹学杂志 1 计算机与数学及其应用 1 信息处理信件 1 Automatica公司 1 海军研究后勤 1 应用数值数学 1 计算机科学与技术杂志 1 运筹学年鉴 1 智能与机器人系统杂志 1 统计传播。模拟和计算 1 中国科学。E系列 1 应用概率的方法与计算 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 理论生物学杂志 1 控制与信号处理高级教材 全部的 前5名在7个字段中引用 34 计算机科学（68至XX） 16 运筹学、数学规划（90-XX） 14 概率论与随机过程（60-XX） 5 系统论；控制（93至XX） 2 统计学（62-XX） 2 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文