×
瓦实提·加尔平;简·希尔斯顿

基于连续值离散化的Bio-PEPA语义等价。 （英语） Zbl 1215.68140号

西奥。计算。科学。 412，第21号，2142-2161（2011）.
概述：Bio-PEPA是一个模拟生物系统的过程代数。Bio-PEPA的一个重要方面是它能够离散浓度，从而产生更小、更易于管理的状态空间。离散化基于步长，步长决定了每个离散级别的大小以及级别数。本文利用并发和进程代数中的等价思想，考虑了同一Bio-PEPA模型的两个离散化之间的关系，这两个离散度仅在步长和层数上有所不同。我们提出了一种新的行为语义等价性，即压缩双相似性，并研究了这种等价性何时等同于同一模型的两个离散化，以及这种等价性相对于同步算子是同余的情况。

引用于4文件

MSC公司：

68问题80 细胞自动机（计算方面）
92立方厘米 系统生物学、网络

关键词：

进程代数;生物模拟;离散化;语义对等;压缩共刺激;同余;化学计量

软件：

生物-PEPA
PDF格式BibTeX公司 XML格式引用
\textit{V.Galpin}和\textit{J.Hillston}，Theor。计算。科学。412，第21号，2142--2161（2011；Zbl 1215.68140）
全文： DOI程序

参考文献：

[1] 布洛西，R。；Cardelli，L。；Phillips，A.，《基因网络随机动力学的组合方法》，（Priami，C.；Cardelli，L.；Emmott，S.，《计算系统生物学学报》，第四卷，计算系统生物学，LNCS，第3939卷（2006），Springer），99-122·Zbl 1179.92021号
[2] Danos，V。；Laneve，C.，形式分子生物学，理论计算机科学，32569-110（2004）·Zbl 1071.68041号
[3] Priami，C。；雷格夫，A。；夏皮罗，E。；Silverman，W.，随机名称传递微积分在分子过程表示和模拟中的应用，信息处理快报，80，25-31（2001）·Zbl 0997.92018号
[4] Priami，C。；Quaglia，P.，生物相互作用的β结合物，（Danos，V。；Schächter，V.，《系统生物学中的计算方法》，国际会议。系统生物学中的计算方法，国际会议，CMSB 2004，法国巴黎。系统生物学计算方法国际会议。系统生物学中的计算方法，国际会议，CMSB 2004，法国巴黎，LNCS，第3082卷（2005），Springer），20-33·Zbl 1088.68646号
[5] 雷格夫，A。；帕尼娜，E。；西尔弗曼。；Cardelli，L。；Shapiro，E.，《生物环境：生物隔室的抽象》，《理论计算机科学》，325141-167（2004）·Zbl 1069.68569号
[6] 乔切塔，F。；Hillston，J.，《生物-PEPA:生物系统建模和分析框架》，《理论计算机科学》，4103065-3084（2009）·Zbl 1173.68041号
[7] Hillston，J.，《绩效建模的组合方法》（1996），CUP
[8] 乔切塔，F。；Hillston，J.，《生物系统的微积分》，（Bernardo，M.；Degano，P.；Zavataro，G.，《计算系统生物学的形式方法》，SFM08。计算系统生物学的形式方法。计算系统生物学的形式方法，SFM08，LNCS，第5016卷（2008）），265-312·Zbl 1137.68302号
[9] F.Ciocchetta，《生物-PEPA与SBML-like事件》，载于：R.-J.Back，I.Petre（编辑），《细胞过程计算模型研讨会论文集》，2008年，第11-22页。；F.Ciocchetta，《生物-PEPA与SBML-like事件》，载于：R.-J.Back，I.Petre（编辑），《细胞过程计算模型研讨会论文集》，2008年，第11-22页。
[10] F.Ciocchetta，J.Hillston，《生物-PEPA：生物系统建模和分析框架》，技术代表EDI-INF-RR-1231，爱丁堡大学信息学院，2008年。；F.Ciocchetta，J.Hillston，《生物PEPA：生物系统建模和分析框架》，爱丁堡大学信息学院技术代表EDI-INF-RR-1231，2008年·Zbl 1173.68041号
[11] K.Ellavarson，《从系统生物学标记语言到Bio-PEPA过程代数的自动映射》，特伦托大学硕士论文，2008年。；K.Ellavarson，《从系统生物学标记语言到Bio-PEPA过程代数的自动映射》，特伦托大学硕士论文，2008年。
[12] 阿克曼，O.E。；乔切塔，F。；Degasperi，A。；Guerriro，M.L.，《用Bio-PEPA模拟生物钟：克拉氏脉孢菌昼夜节律网络的随机性和稳健性》，（Degano，P。；Gorrieri，R.，《系统生物学中的计算方法》，国际会议。系统生物学中的计算方法，国际会议，CMSB 2009，意大利博洛尼亚。系统生物学计算方法国际会议。系统生物学中的计算方法，国际会议，CMSB 2009，意大利博洛尼亚，LNCS，第5688卷（2009），Springer），52-67
[13] Guerriro，M.L.，gp130/JAK/STAT信号通路的Bio-PEPA模型的定性和定量分析，（Priami，C.；Back，R.-J.；Petre，I.，《计算系统生物学学报》XI.《计算系统生物学报》XI，LNCS，第5750卷（2009），Springer），90-115
[14] Bortolussi，L。；Policriti，A.，随机程序的混合动力学，理论计算机科学，4112052-2077（2010）·兹比尔1198.68175
[15] 加尔平，V。；Hillston，J。；Bortolussi，L.，HYPE应用于混合生物系统建模，《理论计算机科学电子笔记》，218，33-51（2008）·Zbl 1286.92027号
[16] 加尔平，V。；Hillston，J.，《生物-PEPA中的等效性和离散化》（Degano，P。；Gorrieri，R.，《系统生物学中的计算方法》，国际会议。系统生物学中的计算方法，国际会议，CMSB 2009，意大利博洛尼亚。系统生物学计算方法国际会议。系统生物学中的计算方法，国际会议，CMSB 2009，意大利博洛尼亚，LNCS，第5688卷（2009），Springer），189-204
[17] 乔切塔，F。；Guerrero，M.L.，《生物-PEPA中生物隔间建模》，《理论计算机科学电子笔记》，2277-95（2009）·Zbl 1348.92069号
[18] A.Duguid，《Bio-PEPA Eclipse插件概述》，载于：进程代数和随机时间活动第八次研讨会，PASTA，爱丁堡，2009年，第121-132页。；A.Duguid，《Bio-PEPA Eclipse插件概述》，载于《过程代数与随机时间活动第八次研讨会》，PASTA，爱丁堡，2009年，第121-132页。
[19] 乔切塔，F。；Degasperi，A。；Hillston，J。；Calder，M.，《关于CTMC和源自Bio-PEPA的ODE模型的一些研究》，《理论计算机科学电子笔记》，229145-163（2009）·Zbl 1283.92036号
[20] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[21] van Glabbeek，R.J.，《线性时间分支时间谱（扩展摘要）》，（Baeten，J.C.M.；Klop，J.W.，CONCUR’90。CONCUR’90，LNCS，第458卷（1990年），施普林格出版社，278-297
[22] 海纳，M。；吉尔伯特，D。；Donaldson，R.，《系统和合成生物学的Petri网》，（Bernardo，M.；Degano，P.；Zavataro，G.，《计算系统生物学的形式化方法》，SFM08。计算系统生物学的形式化方法。计算系统生物学的形式方法，SFM08，LNCS，第5016卷（2008），Springer），215-264·Zbl 1137.68302号
[23] Fages，F。；Soliman，S.，《Biocham的形式细胞生物学》，（Bernardo，M.；Degano，P.；Zavataro，G.，《计算系统生物学的形式方法》，SFM08。计算系统生物学的形式方法。计算系统生物学的形式方法，SFM08，LNCS，第5016卷（2008），Springer），54-80·Zbl 1137.68302号
[24] 考尔德，M。；Hillston，J.，《生物分子过程的过程代数建模风格》，（Priami，C.；Back，R.-J.；Petre，I.，《计算系统生物学学报》XI.《计算系统生物学报》XI，LNCS，第5750卷（2009），Springer），1-25·Zbl 1260.92030
[25] 雷格夫，A。；夏皮罗，E.，《细胞抽象：细胞作为计算》，《自然》，419，343（2002）
[26] 拉涅夫，C。；Tarissan，F.，《蛋白质和细胞的简单演算》，《理论计算机科学》，404127-141（2008）·Zbl 1151.68039号
[27] Cardelli，L。；布莱恩·加尔各利（Danos，V。；Schächter，V.，《系统生物学中的计算方法》，国际会议。系统生物学中的计算方法，国际会议，CMSB 2004，法国巴黎。系统生物学计算方法国际会议。系统生物学中的计算方法，国际会议，CMSB 2004，法国巴黎，LNCS，第3082卷（2005），Springer），257-278·Zbl 1088.68657号
[28] 乔巴努，G。；Aman，B.，《关于膜和环境之间的关系》，《生物系统》，91，515-530（2008）
[29] Barbuti，R。；马焦洛·谢蒂尼，A。；Milazzo，P。；Troina，A.，结石模型膜中的相互模拟，计算的形式方面，20，351-377（2008）·Zbl 1152.68035号
[30] 平托，M.C。；Foss，L。；Mombach，J.C.M。；Ribeiro，L.，《乳糖操纵子调控的建模、属性验证和行为等效性》，《生物和医学中的计算机》，37，134-148（2007）
[31] V.Galpin，生物过程代数的等价物（提交出版）。；V.Galpin，生物过程代数的等价物（提交出版）·Zbl 1402.92201号
[32] 安东尼奥蒂，M。；C.广场。；Policriti，A。；西蒙，M。；Mishra，B.，通过相互刺激和崩溃来驯服生物化学模型的复杂性：理论与实践，理论计算机科学，325，45-67（2004）·Zbl 1070.68059号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。