鲁思·兰普雷希特;格雷戈里·史密斯。;彼得·坎佩尔 信号复合体的随机Petri网模型及其分析。 （英语） Zbl 1251.68159号 自然计算。 10，第3期，1045-1075（2011）. 小结：从细胞内通道的马尔可夫链模型导出的释放位点的数学模型显示出集体门控，这让人想起随机兴奋性（即喷发和火花）的实验观察现象\（text{Ca}^{2+}）释放位点模型由许多单独的通道模型组成，其动态行为取决于受所有通道状态影响的局部（text{Ca}^{2+}）浓度。我们考虑这个应用领域来说明如何使用随机Petri网，特别是随机活动网络来模拟细胞生物学中的动力学现象。我们强调了莫比乌斯框架支持的状态共享合成操作如何以自然的方式表示平均场和空间耦合假设。我们研究了与随机Petri网相关的马尔可夫链的数值和模拟分析的最新技术在建模生理大小和复杂性的信号复合物时如何缩放。 引用于1文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 92碳40 生物化学、分子生物学 92立方厘米 系统生物学、网络 92年10月 分子结构（图形理论方法、微分拓扑方法等） 关键词：Petri网;随机活动网络;\（\text{Ca}^{2+}\）释放位点 PDF格式BibTeX公司 XML格式引用 \textit{R.Lamprecht}等人，《自然计算》。10，第3号，1045--1075（2011；Zbl 1251.68159） 全文： 内政部 参考文献： [1] Benoit A，Brenner L，Fernandes P，Plateau B（2004）随机自动机网络与副本的聚合。线性代数应用386:111–136·Zbl 1050.65003号 ·doi:10.1016/j.laa.2004.02.015 [2] Berridge MJ（1997）钙信号的基本和全球方面。实验生物学杂志499（2）：291–306 [3] Berridge MJ（2006）《钙微域：组织和功能》。细胞钙40:405–412·doi:10.1016/j.ceca.2006.09.002 [4] Bray D（1998）《信号复合物：细胞内通讯的生物物理限制》。生物物理生物分子结构年鉴27（1）：59–75·doi:10.1146/annurev.biophys.27.1.59 [5] Buchholz P（1994）有限马尔可夫链中的精确和普通集总性。《应用概率论》31（1）：59–74·Zbl 0796.60073号 ·doi:10.2307/3215235 [6] Buchholz P（1995）随机自动机网络的等价关系。In：Stewart WJ（ed）马尔可夫链计算。马萨诸塞州波士顿Kluwer，第197-216页·Zbl 0861.68004号 [7] Buchholz P（2004）随机Petri网分析的自适应分解和近似。执行评估56（1-4）：23–52·doi:10.1016/j.peva.2003.07.001 [8] Buchholz P，Dayar T（2004）基于Kronecker的Markov表示的多级方法比较。计算73（4）：349–371·Zbl 1061.65003号 ·doi:10.1007/s00607-004-0074-2 [9] Chaouiya C（2007）生物网络的Petri网建模。生物信息简介8（4）：210–219·doi:10.1093/bib/bbm029 [10] Chiola G、Dutheillet C、Franceschinis G、Haddad S（1993）《随机规范色网和对称建模应用》。IEEE Trans Compute 42（11）：1343–1360·数字对象标识代码：10.1109/12.247838 [11] Cho W（2006）在膜上构建信号复合物。科学的STKE 2006（321）：pe7 [12] Ciardo G（1989）大型随机Petri网模型分析。杜克大学博士论文·Zbl 0679.68117号 [13] Ciardo G，Miner AS（1999）GSPN高效Kronecker解决方案的数据结构。摘自：第八届Petri网和性能模型国际研讨会论文集。IEEE CS，第22-31页 [14] Ciardo G，Trivedi KS（1993）随机报酬网模型的分解方法。执行评估18（1）：37–59·Zbl 0788.68105号 ·doi:10.1016/0166-5316（93）90026-Q [15] Ciardo G，Marmorstein RM，Siminiceanu R（2003）《无约束饱和》。第九届系统构建和分析工具和算法国际会议，第2619卷。柏林施普林格，第379–393页·Zbl 1031.68544号 [16] Colquhoun D，Hawkes AG（1995）《Q矩阵食谱：如何只编写一个程序来计算任何动力学机制的单通道和宏观预测》。收录：单声道录音，第二版。Plenum出版社，纽约，第589–633页 [17] Deavors DD、Clark G、Courtney T、Daly D、Derisavi S、Doyle JM、Sanders WH、Webster PG（2002）《莫比乌斯框架及其实施》。IEEE Trans Softw Eng 28（10）：956–969·Zbl 05114456号 ·doi:10.10109/TTS.2002.1041052 [18] DeRemigio H，Smith GD（2005）随机磨损动力学被视为终止马尔可夫链上的吸收时间。细胞钙38（2）：73–86·doi:10.1016/j.ceca.2005.06.007 [19] DeRemigio H，Kemper P，Lamar MD，Smith GD（2007），耦合细胞内钙通道的马尔可夫链模型：克罗内克结构表示和基准平稳分布计算。Pac-Symp生物计算机13:354–365 [20] DeRemigio H，Groff JR，Smith GD（2008a）钙释放部位的超微结构和气泡和火花的动力学。数学医学生物学25（1）：65–85·Zbl 1146.92011号 ·doi:10.1093/imammb/dqn004 [21] DeRemigio H，Lamar MD，Kemper P，Smith GD（2008b）耦合钙通道的Markov链模型：Kronecker表示和迭代求解方法。物理生物学5（3）：36003·doi:10.1088/1478-3975/5/3/036003 [22] Derisavi S，Hermanns H，Sanders WH（2003）马尔可夫链中的最优状态空间集总。Inf过程Lett 87（6）：309–315·Zbl 1189.68039号 ·doi:10.1016/S0020-0190（03）00343-0 [23] Derisavi S，Kemper P，Sanders WH（2004）状态共享组合模型的符号状态空间探索和数值分析。线性代数应用386:137–166·Zbl 1048.65007号 ·doi:10.1016/j.laa.2004.01.006 [24] Derisavi S，Kemper P，Sanders WH（2005）马尔可夫模型的集总矩阵图表示。摘自：2005年可靠系统和网络国际会议记录。IEEE CS，第742-751页 [25] De Young GW，Keizer J（1992），基于1，4，5-三磷酸肌醇受体的单池模型，用于钙浓度中激动剂刺激的振荡。国家科学院院刊89:9895–9899·doi:10.1073/pnas.89.20.9895 [26] Donatelli S（1994）叠加广义随机Petri网：定义和有效解。摘自：《第十五届国际Petri网应用与理论会议论文集》，《计算机科学讲稿》，第815卷。柏林施普林格，第258-277页 [27] Duke TA，Bray D（1999）提高了膜受体晶格的敏感性。美国国家科学院院刊96（18）：10104–10108·doi:10.1073/pnas.96.18.10104 [28] Duke TA，Novère NL，Bray D（2001）蛋白质环中的构象扩散：变构的随机方法。分子生物学杂志308（3）：541–553·doi:10.1006/jmbi.2001.4610 [29] Fishman GS（1978）离散事件模拟原理。威利，美国纽约州纽约市·兹伯利0537.68104 [30] Fox BL，Glynn PW（1988）计算泊松概率。通用ACM 31（4）：440–445·数字对象标识代码：10.1145/42404.42409 [31] Gillespie DT（1977）耦合化学反应的精确随机模拟。《物理化学杂志》81（25）：2340–2361·doi:10.1021/j100540a008 [32] Gomperts BD、Tatham PE、Kramer IM（2002）《信号转导》。加州圣地亚哥学术出版社 [33] Goss PJ，Peccoud J（1998）使用随机Petri网对分子生物学中的随机系统进行定量建模。美国国家科学院院刊95（12）：6750–6755·doi:10.1073/pnas.95.12.6750 [34] Griffith M，Courtney T，Peccoud J，Sanders WH（2006）双稳态HIV-1转录激活网络混合模拟的动态分区。生物信息学22（22）：2782–2789·doi:10.1093/bioinformatics/btl465 [35] Groff JR、Smith GD（2008），钙依赖性失活和钙膨胀和火花的动力学。《Theor生物学杂志》253（3）：483–499·Zbl 1398.92059号 ·doi:10.1016/j.jpbi.2008.03.026 [36] Groff JR、DeRemigio H、Smith GD（2009）离子通道的马尔可夫链模型和钙释放位点的集体门控。收录：神经科学中的随机方法。牛津大学出版社，牛津，第29-64页·Zbl 1352.92029 [37] Hardy S，Robillard PN（2007）基于Petri网的信号通路中信号传播动力学分析方法。生物信息学24（2）：209–217·Zbl 05511434号 ·doi:10.1093/bioinformatics/btm560 [38] Heiner M，Koch I（2004），系统生物学中基于Petri网的模型验证。摘自：《第25届Petri网应用与理论国际会议论文集》，《计算机科学讲稿》，第3099卷。柏林施普林格，第216-237页·Zbl 1094.68584号 [39] Hermanns H（2002）《交互式马尔可夫链与量化质量的追求》，《计算机科学讲义》，第2428卷。柏林施普林格·Zbl 1012.68142号 [40] Hill TL（1977）《生物学中的自由能转导：稳态动力学和热力学形式主义》。纽约学术出版社 [41] Hillston J（2005）用于定量分析的过程代数。在：计算机科学中的逻辑。IEEE CS，第239-248页 [42] Jansen DN，Hermanns H（2004）用StoCharts进行可靠性检查：列车无线电对列车是否足够可靠？收录于：《第一届系统定量评价国际会议论文集》。IEEE CS，第250–259页 [43] Kemeney JG，Snell JL（1960）有限马尔可夫链。D.Van Nostrand公司，新泽西州普林斯顿 [44] Krauss G（2003）《信号转导和调节的生物化学》。威利·维奇（Weinheim Wiley-VCH） [45] Law AM，Kelton WD（2000）仿真建模与分析。纽约州麦格劳希尔 [46] Lecca P（2006）生物化学随机{\（\pi\）}-演算的gillespie算法的时间相关扩展。摘自：2006年ACM应用计算研讨会论文集。美国纽约州纽约市ACM，第137-144页 [47] Mak DOD，Foskett JK（1997）爪蟾卵母细胞核中肌醇三磷酸（IP3）受体的单通道动力学、失活和空间分布。《Gen Physiol杂志》109（5）：571–587·doi:10.1085/jgp.109.5.571 [48] Marsan MA，Balbo G，Conte G，Donatelli S，Franceschinis G（1995），广义随机Petri网建模，并行计算中的Wiley级数。纽约威利公司·Zbl 0843.68080号 [49] Materi W，Wishart DS（2007），药物发现和开发中的计算系统生物学：方法和应用。今日毒品迪斯科12（7-8）：295–303·doi:10.1016/j.drudis.2007.02.013 [50] Matsuno H，Li C，Miyano S（2006）基于Petri网的描述，用于系统理解生物途径。IEICE Trans-Fundam电子通信计算科学E89-A（11）：3166–3174·doi:10.1093/ietfec/e89-a.11.3166 [51] McQuinn MG、Kemper P、Sanders WH（2007）《马尔可夫链的可信性分析：对称如何改进符号计算》。摘自：第四届系统定量评估国际会议记录。IEEE CS，第151-160页 [52] Miner AS，Parker D（2004）大型概率系统的符号表示和分析。收录：《随机系统的验证：当前研究指南》，《计算机科学讲义》，第2925卷。柏林施普林格 [53] Nguyen V，Mathias R，Smith GD（2005）瞬时耦合细胞内Ca2+通道Markov链模型的随机自动机网络描述符。公牛数学生物学67（3）：393–432·Zbl 1334.92144号 ·doi:10.1016/j.bulm.2004.08.010 [54] Obal WD II（1998）《测量自适应状态空间构建方法》。亚利桑那大学博士论文 [55] Obal WD II，McQuinn MG，Sanders WH（2007）检测和利用离散状态马尔可夫模型中的对称性。IEEE Trans Reliab公司56（4）：643–654·doi:10.1109/TR.2007.909761 [56] Peccoud J、Courtney T、Sanders WH（2007）《莫比乌斯：集成离散事件建模环境》。生物信息学23（24）：3412–3414·doi:10.1093/bioinformatics/btm517 [57] Peleg M，Yeh I，Altman RB（2002）使用工作流和Petri网模型对生物过程进行建模。生物信息学18（6）：825–837·doi:10.1093/bioinformatics/18.6.825 [58] Peleg M，Rubin D，Altman RB（2005）使用Petri网工具研究生物系统的特性和动力学。美国医学杂志通知协会12（2）：181–199·doi:10.1197/jamia。M1637型 [59] Priami C（1995）随机{\（\pi\）}-演算。计算J 38（7）：578–589·Zbl 05478217号 ·doi:10.1093/comjnl/38.7.578 [60] Priese L，Wimmel H（2003）《理论信息：Petri-Netze》（德语）。柏林施普林格·Zbl 1137.68452号 [61] Sanders WH，Meyer JF（1991），随机活动网络的简化基础模型构建方法。IEEE J Sel Areas Commun，计算机辅助模型分析与设计网络专刊9（1）：25–36 [62] Sanders WH，Meyer JF（2001）随机活动网络：形式定义和概念。收录：《形式方法与性能分析讲座》，《计算机科学讲义》，第2090卷。柏林施普林格，第315-343页·Zbl 0990.68505号 [63] Schaub MA、Henzinger TA、Fisher J（2007）《定性网络：分析生物信号网络的符号方法》。BMC系统生物1（4） [64] Schwarick M（2008）用区间决策图进行随机Petri网的瞬态分析。摘自：第15届德国Petri网算法和工具研讨会论文集，AWPN 2008，CEUR-WS.org，CEUR研讨会论文集第380卷，第43-48页 [65] Sneyd J，Falcke M（2005）肌醇三磷酸受体模型。生物物理分子生物学进展89（3）：207–245·doi:10.1016/j.pbiomolbio.2004.11.001 [66] Srivastava R，You L，Summers J，Yin J（2002），细胞内病毒动力学的随机与确定性建模。《Theor生物学杂志》218（3）：309–321·doi:10.1006/jtbi.2002.3078 [67] Steggles LJ，Banks R，Shaw O，Wipat A（2007）《遗传调控网络的定性建模与分析：Petri网方法》。生物信息学23（3）：336–343·doi:10.1093/bioinformatics/btl596 [68] Stewart WJ（1994）马尔可夫链数值解导论。普林斯顿大学出版社 [69] Sun XP，Callamaras N，Marchant JS，Parker I（1998）爪蟾卵母细胞中InsP3介导的基本Ca2+信号事件的连续性。生理学杂志509（1）：67–80·doi:10.1111/j.1469-7793.1998.067bo。x个 [70] Yao Y，Choi J，Parker I（1995）非洲爪蟾卵母细胞中三磷酸肌醇引起的细胞内Ca2+的数量膨胀。生理学杂志482（3）：533–553 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。