伦敦商学院 swMATH ID: 12372 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 说明： 生化系统语言：设计和形式规范。本文介绍了一种生物化学系统语言（LBS），它将基于规则的建模方法与模块化相结合。它基于生物化学系统微积分（CBS），该微积分根据修饰复合物之间的反应提供了代谢、信号传导和调节网络的模块化描述，修饰复合物同时发生在一系列隔间内，并可能发生跨隔间的相互作用和转运。面向实际和大规模应用的LBS的其他功能包括以简洁的方式操作大型复合体的物种表达式、具有编写可重用模块的子类型概念的参数化模块以及处理组合爆炸的不确定性。这些功能通过示例进行了演示。然后，通过抽象语法和通用语义给出了LBS的形式化规范，这些语义在与目标语义对象的特定选择相关的结构上是参数化的。文中还给出了Petri网、有色Petri网，ODE和连续时间Markov链的具体情况下的这种结构的例子。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-642-11712-1_3 关键词： 大规模的;参数化模块;子类型;组合爆炸;不确定性;Petri网;有色Petri网;常微分方程;连续时间马尔可夫链 相关软件： 生物-PEPA;生物净发电;生物CHAM;棱镜;布伦X;NFsim公司;政治公众人物协议;KaDE公司;生物-PEPAd;流量*;阿里阿德涅;CORA公司;rxncon公司;斯莫尔丁;PySB公司;侵蚀;悉尼商学院;z3（零3）;棱镜;ProbLog（问题日志） 引用于： 16文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 生化系统语言：设计和形式规范。 Zbl 1275.92020年迈克尔·佩德森;戈登·普洛金（Gordon D.Plotkin）。 2010 全部的 前5名32位作者引用 2 卢博什·布里姆 2 卡德，莫菲 2 朱利奥卡拉瓦格纳 2 卢卡·卡德利 2 安德烈亚·德加斯佩里 2 戈登·普洛金（Gordon D.Plotkin）。 2 萨夫拉内克，大卫 2 萨拉戈维奇，雅库布 2 米尔科·特里巴斯通 2 特罗亚克（Troják，Matej） 2 马克斯·柴科夫斯基 2 安德烈·范丁 1 迈克尔·贝恩（Michael E.Bain）。 1 罗伯托·巴布蒂 1 乔尔文，简 1 DěD，T。 1 瓦实提·加尔平 1 简·希尔斯顿 1 克莱门特，M。 1 斯特凡·库恩 1 库特勒，塞林 1 马修·拉金。 1 塞德里克·侯赛因 1 安德烈亚·马吉奥洛·谢蒂尼 1 保罗·米拉佐 1 米拉贝尔·内布特 1 尼古拉斯·欧里 1 洛伊奇·波列维 1 安德鲁·菲利普斯 1 阿什温·斯里尼瓦桑 1 蒂妮，西蒙 1 伊雷克·乌利多夫斯基 4篇连载文章中引用 6 理论计算机科学 1 信息与计算 1 机器学习 1 MSCS公司。计算机科学中的数学结构 全部的 前5名在6个字段中引用 15 生物学和其他自然科学（92-XX） 12 计算机科学（68至XX） 1 常微分方程（34-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文