CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；西法基斯，J。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；Miner，安德鲁 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SPNP公司 47篇文献引用(1990–2023) 软件作者： 克里斯托夫·希雷尔（Christophe Hirel）、布鲁诺·塔芬（Bruno Tuffin）、基索尔·斯特里维迪（Kishor S.Trivedi） 相关软件： DSPNexpress；GreatSPN 1.7；分享… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PNML公司 30篇文献引用(1992–2022) 软件作者： 希拉，L.M。；Kordon，F。；佩特鲁奇，L。；Trèves，N。 相关软件： 沃夫兰；设计/CPN；CPN/工具… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者： Chiola，G。；弗朗西斯科尼斯，G。；盖塔，R。；里巴多，M。 相关软件： GreatSPN；SPNP；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克·韦贝克（Eric Verbeek）；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
适当的 29篇文献引用(2015–2023) 软件作者： Schlachter，U.等人。 相关软件： github；石化；Synet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TimeNET（时间网） 28篇文献引用(1995–2022) 软件作者： 德语，Reinhard；克里斯蒂安·凯林（Christian Kelling）；阿明·齐默尔曼（Armin Zimmermann）；贡特霍梅尔 相关软件： GreatSPN；SPNP；GreatSPN 1.7… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
石化 26篇文献引用(2001–2023) 软件作者： Cortadella，J.、Kishinevsky，M.、Kondratyev，A.、Lavagno，L.、Yakovlev，A。 相关软件： 基因；github；APT… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
BPEL2oWFN型 25篇文献引用(2007–2020) 软件作者： 尼尔斯·洛曼 相关软件： 奶牛；BPEL2PN；温蒂… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
罗密欧 27篇文献引用(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马格宁；Olivier Roux（H.） 相关软件： TINA；Uppaal公司；克罗诺斯… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
TAPAAL公司 24篇文献引用(2011–2022) 软件作者： 拜格，乔金；约根森、肯尼思·伊尔克；吉·斯尔巴 相关软件： Uppaal公司；TINA；罗密欧… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
INA公司 引用于19份文件(1996–2022) 软件作者： 彼得。H.斯塔克 相关软件： 清爽；CADP；MARTE… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
续订 在16份文件中引用(2004–2022) 软件作者： 奥拉夫·库默；弗兰克·温伯格（Frank Wienberg）；迈克尔·杜维涅奥（Michael Duvigneau）；乔恩·舒马赫；迈克尔·科勒；丹尼尔·莫尔特（Daniel Moldt）；Rölke，Heiko；吕迪格·瓦尔克 相关软件： libDDD；莫德；LoLA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
裴楚丘 在16份文件中引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
红矿工 在13份文件中引用(2010–2022) 软件作者： Marc Solé；乔塞普·卡莫纳 相关软件： 混合ILPMiner；VipTool；基因… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
VIP工具 12份文件引用(2008–2022) 软件作者： Bergenthum，R.、Desel，J.、Lorenz，R.和Mauser，S。 相关软件： 红矿工；基因；石化… 主要字段： 计算机科学（68-XX）
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·肯珀；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
M网络 11份文件引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
玛丽 8份文件引用(2013–2022) 软件作者： 莫妮卡·海纳；克里斯蒂安·罗尔（Christian Rohr）；马丁·施瓦克 相关软件： 清爽；棱镜；SABRE… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
级联 8份文件引用(2000–2008) 软件作者： Jochen Beister、Gernot Eckstein、Ralf Wollowski 相关软件： 级联 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
蛇 7份文件引用(2008–2022) 软件作者： 弗兰克·波默罗 相关软件： TINA；海伦娜；ITS工具… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
SyPet公司 5份文件引用(2017–2023) 软件作者： 冯瑜；鲁本·马丁斯（Ruben Martins）；王跃鹏；伊西尔·迪利格；代表Thomas W。 相关软件： 代码提示；Daikon；JSketch… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SYROCO公司 8份文件引用(1996–2007) 软件作者： Sibertin-Blanc，C。 相关软件： 设计/CPN；GreatSPN 1.7；GreatSPN… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
基因 6篇文献引用(2012–2023) 软件作者： Carmona，J.、Cortadella，J.和Kishinevsky，M。 相关软件： 石化；红矿工；VipTool… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
2号管道 6篇文献引用(2013–2023) 软件作者： 尼古拉斯·丁格尔（Nicholas J.Dingle）、威廉·诺滕贝尔（William J.Knottenbelt）、塔马斯·苏托（Tamas Suto） 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
凯撒.bdd 6篇文献引用(2015–2023) 软件作者： 达米安·贝加米尼（Damien Bergamini）；休伯特·加拉维尔；INRIA罗纳阿尔卑斯山 相关软件： NUPN_INFO；凯撒；TINA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
单元格插图 5份文件引用(2009–2018) 软件作者： 松野浩；长崎，Masao；宫野、佐藤；东京大学。 相关软件： 清爽；日晷；PathBLAST… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
COSMOS公司 6篇文献引用（2013-2021） 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DaGen公司 5份文件引用(1996–2010) 软件作者： Daniel Moldt、Jan Ortmann 相关软件： DAGEN公司；耶拿；RanGen… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DPPN（DPPN） 6篇文献引用(2005–2010) 软件作者： 朱利奥·克莱姆普纳 相关软件： —— 主要字段： 差分方程和函数方程（39-XX）；统计学（62-XX）；计算机科学（68-XX）…
NUPN_信息 6篇文献引用(2015–2023) 软件作者： 休伯特·加拉维；INRIA罗纳阿尔卑斯山 相关软件： caesar.bdd；凯撒；TINA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
温迪 3份文件引用(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；LOTOS；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
工艺品 4份文件引用(2011–2022) 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 相关软件： VipTool；基因；石化… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
查理 3份文件引用(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；可视化DSD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PTrie公司 5份文件引用(2017–2021) 软件作者： Peter Gjol Jensen；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；LoLA；zUpdate… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
德斯科 4份文件引用(2000–2011) 软件作者： 马丁·费边（Martin Fabian）；安德斯·海尔格伦 相关软件： UMDES；Uppaal公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
EMiT公司 3份文件引用(2002–2005) 软件作者： van Dongen，Boudewijn F。；Wil M.P.范德阿尔斯特。 相关软件： 合资企业视图；正式舞会；PNML… 主要字段： 计算机科学（68-XX）
ePNK公司 3份文件引用(2011–2020) 软件作者： Ekkart点燃器 相关软件： 杂交ILPMiner；方面J；PNML公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
彼得里韦布 3份文件引用(2008–2019) 软件作者： Goud，R.、van Hee，K.、Post，R.和van der Werf，J。 相关软件： LoLA；LOEWE公司；ITS工具… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
XRL/花 3份文件引用(2002–2005) 软件作者： H.M.W.韦贝克。；Hirnschall，A。；范德阿尔斯特，W.M.P。 相关软件： 沃夫兰；PNML；ade4TkGUI… 主要字段： 计算机科学（68-XX）
导线 3份文件引用(2018–2021) 软件作者： 卡米利，马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： MongoDB；开放星云；沙发数据库… 主要字段： 计算机科学（68-XX）
MoVisPP公司 3份文件引用(2011) 软件作者： 陈明；哈里哈拉普特兰，斯里达尔；霍菲斯特•德（Hofestädt），拉尔夫（Ralf）；本杰明·科尔迈耶 相关软件： 清爽；COPASI；虚拟单元格… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CoMeta公司 1份文件引用(2013) 软件作者： 保罗·巴尔丹；尼科莱塔·科科；费德里卡·朱莫莱；玛尔塔·西莫尼 相关软件： 4ti2；KEGG；清爽… 主要字段： 生物学和其他自然科学（92-XX）
DP2PN2求解器 2份文件引用(2006–2007) 软件作者： 霍尔格·莫赫 相关软件： PNML公司 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
管道 2份文件引用(2013–2017) 软件作者： Bonet P、Llado C M、Puijaner R、Knottenbelt W J。 相关软件： 亚斯珀；VipTool；沃夫兰… 主要字段： 计算机科学（68-XX）
pntool工具 2份文件引用(2004) 软件作者： 屋大维，帕斯特拉瓦努；Matcovski、Mihaela Hanako；克里斯蒂安·马胡利亚 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；系统论；控制（93-XX）
WebSPN（网络SPN） 2份文件引用(1998–2000) 软件作者： 安德拉斯·霍瓦思（Andras Horváth）；安东尼奥·普利亚菲托；马可·斯卡帕；米克洛斯·特莱克；奥拉齐奥·托马齐奥 相关软件： 静电除尘器；TimeNET（时间网） 主要字段： 计算机科学（68-XX）
亚斯珀 2份文件引用(2008–2017) 软件作者： van Hee，K.、Oanea，O.、Post，R.、Somers，L.、van de Werf，J.M。 相关软件： 管道；VipTool；沃夫兰… 主要字段： 计算机科学（68-XX）
等级/CPN 1份文件引用(2013) 软件作者： Michael Westergaard；德克·法兰德；克里斯蒂安·斯塔尔 相关软件： JUnit公司 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
Hadoop总线 1份文件引用(2013) 软件作者： 马蒂·尼门玛；阿列克西·卡利奥；安德烈·舒马赫；彼得里·克莱梅尔；Eija Korpelainen；凯霍·赫尔扬科 相关软件： 普罗瓦林；十字弓；k表示++… 主要字段： 生物学和其他自然科学（92-XX）
LEMMA公司 1份文件引用(2002) 软件作者： L.Baresi、F.Consorti、M.Di Paola、A.Gargiulo、M.Pezzè 相关软件： MetaEnv；MetaEdit+；Uppaal公司 主要字段： 计算机科学（68-XX）
PetriFlow公司 1份文件引用(2020) 软件作者： M.Riesz、Martin Seckár、G.Juhás P 相关软件： Modelica；PNlib；迪莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
PNlib（PNlib） 1份文件引用(2020) 软件作者： Sabrina专业；伯恩哈德·巴赫曼 相关软件： Modelica；PetriFlow；迪莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
smfsbSBML接口 1份文件引用(2019) 软件作者： 达伦·威尔金森。 相关软件： SBML-简写；scala-smfsb；smfsb… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
SPN2MGM公司 1份文件引用(2006) 软件作者： B.R.哈维尔科特 相关软件： SPNP；MGM工具；MOSEL… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
TAO_XML_T（目标_ XML _T） 1份文件引用(2001) 软件作者： 保罗·马雷斯卡；安吉拉·古尔西奥；蒂姆·阿恩特（Tim Arndt）；帕斯夸尔·多纳迪奥 相关软件： —— 主要字段： 计算机科学（68-XX）