生物-PEPA swMATH ID: 1361 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 描述： 在这项工作中，我们提出了生物-PEPA，一个用于生化网络建模和分析的过程代数。它是对PEPA的修改，最初用于计算机系统的性能分析，以处理生物模型的一些特征，如化学计量和一般动力学定律的使用。生物-PEPA可以被视为生物系统的一种中间、形式和组成表示，可以对其进行不同类型的分析。生物-PEPA丰富了一些等效概念。特别是，PEPA的同构性和强互模拟已经被考虑并扩展到我们的语言中。最后，我们展示了生物模型到新语言的翻译，并报告了一些分析结果。 主页： http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html 编程语言： Java语言 操作系统： Windows、Mac OS X和Linux 依赖项： Eclipse 3.5 Carbon版本 关键词： 过程代数;生物化学网络;建模;分析 相关软件： 政治公众人物协议;棱镜;生物CHAM;生物净发电;BlenX公司;伦敦商学院;生物-PEPAd;斯皮科;科帕西;MRMC公司;生物模型;SLMC公司;莫德;KaDE公司;NFsim公司;帕洛马;侵蚀;z3（零3）;阿拉伯国家石油公司;KEGG公司 引用于： 97文件 更多出版物： http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/References.html 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 生物-PEPA：生物系统建模和分析的框架。 兹比尔1173.68041费德里卡·乔切塔;简·希尔斯顿 2009 全部的 前5名165位作者引用 8 简·希尔斯顿 7 卢卡·博托卢西 7 卡德，莫菲 7 保罗·米拉佐 7 米尔科·特里巴斯通 6 费德里卡·乔切塔 6 安德烈亚·马吉奥洛·谢蒂尼 4 安德烈·阿德霍尔德 4 加布里埃尔·乔巴努 4 安德烈亚·德加斯佩里 4 莫雷诺，法拉斯基 4 瓦实提·加尔平 4 马克·格雷戈奇克（Marco A.Grzegorczyk）。 4 德克·胡斯迈尔 4 西蒙·蒂尼 4 马克斯·柴科夫斯基 4 安德烈·范丁 三 罗伯托·巴布蒂 三 卢博什 三 朱利奥·卡拉瓦格纳 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 戴维·齐亚鲁吉 三 戴安娜·赫米思 三 米歇尔·洛雷蒂 三 伊曼纽拉·梅雷利 三 卡洛斯·奥拉特 三 乔瓦尼·帕迪尼 三 科拉多·普里亚米 三 萨夫拉内克，大卫 2 阿曼，博格丹 2 阿莱西奥·安吉乌斯 2 回来了，拉尔夫·约翰 2 米歇尔·博雷尔 2 卢卡·卡德利 2 丁杰 2 安德拉斯·霍瓦思 2 豪尔赫·Jülvez 2 Marta Z.Kwiatkowska。 2 塞德里克·侯赛因 2 林志贵 2 伊恩·皮特 2 卡拉广场 2 Šalagovič，雅库布 2 吉多·桑吉内蒂 2 安吉洛·特洛伊娜 2 特罗亚克（Troják，Matej） 2 阿德琳德·乌尔马赫。 1 瓦那州安德烈 1 西奥多·安德洛尼科斯 1 马可·安东尼奥蒂 1 克里斯特尔·拜尔 1 巴尔博，詹弗兰科 1 保罗·巴拉里尼 1 巴伯，贝诺 1 埃齐奥·巴托西 1 马可·贝库蒂 1 苏菲涅·本基拉内 1 安德烈亚·贝尔尼尼 1 恩里科·比博纳 1 雷纳·百年灵 1 琳达·布罗多 1 纳迪亚·布西 1 费德里科·布蒂 1 Cacciagrano、Diletta Romana 1 尼古拉·卡纳塔 1 阿尔贝托·卡萨格兰德 1 乔尔文，简 1 科什卡，米兰 1 罗伯特·J·科尔文。 1 马里奥·科普 1 弗拉维奥·科拉迪尼 1 A.Credi。 1 费卢西奥·达米亚尼 1 卢卡·德·阿尔法罗 1 洛科·德尼古拉 1 埃里克·P·德文克。 1 DěD，T。 1 皮耶保罗·德加诺 1 菲利普·德尔·特德斯科 1 卢卡·迪·斯特法诺 1 罗宾·唐纳森。 1 阿尔贝托·德奥诺弗里奥 1 Peterábik博士 1 毛里齐奥·德罗科 1 Forejt，Vojtěch公司 1 马可·加拉维利 1 尼古拉斯·加斯特 1 康斯坦蒂诺斯·吉安娜基斯 1 大卫·吉尔伯特 1 罗伯塔·戈里 1 埃琳娜·格拉西 1 顾红红 1 玛丽亚·路易斯·格雷罗 1 Shigeki Hagihara 1 莫妮卡·海纳 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 徐大伟（David Y.Hsu）。 1 维安·胡恩·图恩 1 朱利奥·亚科贝利 1 Takuma一之濑 …还有65位作者 全部的 前5名15篇连载文章中引用 24 理论计算机科学 5 自然计算 4 信息与计算 三 计算机科学课堂讲稿 三 程序设计中的逻辑和代数方法杂志 2 离散事件动态系统 2 遗传学和分子生物学中的统计应用 2 计算机科学中的逻辑方法 1 应用数学快报 1 计算统计学 1 应用数学建模 1 理论计算机科学电子笔记 1 统计与计算 1 分子生物学方法 1 膜计算杂志 全部的 前5名在15个字段中引用 69 生物学和其他自然科学（92-XX） 68 计算机科学（68至XX） 11 概率论与随机过程（60-XX） 6 常微分方程（34-XX） 4 总体主题；集合（00-XX） 4 数理逻辑与基础（03-XX） 三 系统论；控制（93至XX） 2 交换代数（13-XX） 2 偏微分方程（35-XX） 2 统计学（62-XX） 2 数值分析（65-XX） 1 范畴理论；同调代数（18-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文