×
克劳迪娜·朝义亚;伊丽莎白·雷米;丹尼斯·蒂夫里

生物调控网络的Petri网建模。 （英语） Zbl 1153.90336号

J.离散算法 6，第2期，165-177（2008）.
摘要：生物调控网络的复杂性常常挑战生物学家的直觉，需要开发适当的数学方法来建模其结构并描述其动力学特性。一种定性方法是根据逻辑方程（使用布尔或多级离散化）对监管网络进行建模。Petri网（PN）形式主义为从定性或定量的角度分析大型系统的动态行为提供了一个补充框架。
我们的建议是用PN形式主义阐明逻辑方法。在之前的工作中，我们已经将布尔监管模型的系统重写定义为标准PN形式。在本文中，我们提出了一种将多级逻辑监管模型严格系统地映射到特定标准Petri网的方法，称为多级监管Petri网（MRPNs）。我们进一步提出了一些减排策略。因此，生成的模型适合PN社区使用的代数和计算分析。
为了说明我们的方法，我们将其应用于控制λ噬菌体中溶菌酶生成决定的遗传开关的多级逻辑模型。

引用于17文件

MSC公司：

90磅10英寸 运筹学中的确定性网络模型

关键词：

基因网络;调节电路;逻辑建模;Petri网;λ噬菌体

软件：

CPN/工具;设计/CPN;金西姆
PDF格式BibTeX公司 XML格式引用
\textit{C.Chaouiya}等人，J.离散算法6，No.2，165--177（2008；Zbl 1153.90336）
全文： 内政部

参考文献：

[1] Alla，H。；David，R.，连续和混合petri网，JCSC，8，1，159-188（1998）
[2] Arkin，A。；罗斯，J。；McAdams，H.H.，噬菌体λ感染后发育途径分叉的随机动力学分析大肠杆菌《遗传学》，1491633-1648（1998）
[3] Chaouiya，C。；雷米，E。；莫塞，B。；Thieffry，D.，监管图的定性分析：基于离散形式框架的计算工具，LNCIS，294119-126（2003）·Zbl 1059.93085号
[4] Chaouiya，C。；雷米，E。；Ruet，P。；Thieffry，D.，《遗传网络的定性建模：从逻辑调控图到标准Petri网》，LNCS，3099，137-156（2004）·Zbl 1094.68581号
[5] Chaouiya，C。；雷米，E。；Thieffry，D.，遗传网络的定性Petri网建模，计算系统生物学学报VI。计算系统生物学杂志VI，LNCS，422095-112（2006）
[6] de Jong，H.，《遗传调控系统的建模与模拟：文献综述》，J.Compute。生物学，967-103（2002）
[7] 玻璃，L。；考夫曼，S.A.，《连续非线性生化控制网络的逻辑分析》，J.Theor。生物学，39，103-129（1973）
[8] 戈斯，P.J.E。；Peccoud，J.，利用随机Petri网对分子生物学中的随机系统进行定量建模，Proc。美国国家科学院。科学。美国，956750-6755（1998）
[9] 哈代，S。；Robillard，P.N.，《使用Petri网对分子生物学系统进行建模和仿真：各种方法的建模目标》，J.Bioninform。计算。生物，2595-613（2004）
[10] 海纳，M。；Koch，I.，系统生物学中基于Petri网的模型验证，LNCS，3099，216-237（2004）·Zbl 1094.68584号
[11] Hofestädt，R。；Thelen，S.，《生物化学网络的定量建模》，《硅生物》。，1，39-53（1998年）
[12] 福雷，A.N。；Chaouiya，C。；Thieffy，D.，控制哺乳动物细胞周期的通用布尔模型的动态分析，生物信息学，22，14，124-131（2006）
[13] Gonzalez，A.G。；桑切斯，L。；蒂夫里，D。；Chaouiya，C.，GINsim:监管网络定性建模、模拟和分析的软件套件，生物系统，84，91-100（2006）
[14] Marsan，文学硕士。；Balbo，G。；孔戴，G。；多纳泰利，S。；Franceschinis，G.，广义随机Petri网建模（1995），Wiley·Zbl 0843.68080号
[15] H.Matsuno，A.Doi，M.Nagasaki，S.Miyano，基因调控网络的混合Petri网表示，摘自：Proc。派克靴。交响乐团。生物计算。，2000年，第341-352页；H.Matsuno，A.Doi，M.Nagasaki，S.Miyano，基因调控网络的混合Petri网表示，摘自：Proc。派克靴。交响乐团。生物计算。，2000年，第341-352页
[16] Matsuno，H。；田中，Y。；Aosima，H。；Doi，A。；松井，M。；Miyano，S.，混合功能Petri网上的生物路径表示和模拟，《硅生物》。，3, 389-404 (2003)
[17] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77541-580（1989年）
[18] Ptashne，M.，《基因开关：噬菌体-兰姆达再研究》（2004），冷泉港实验室出版社
[19] 雷迪，V.N。；利伯曼，M.N。；Mavrovouniotis，M.L.，生化反应系统的定性分析，计算机。生物医学，26，9-24（1996）
[20] 雷尼茨，J。；Vaisnys，J.R.，噬菌体λ基因开关的理论和实验分析暗示合作性缺失水平，J.Theor。《生物学》，145295-318（1990）
[21] 雷米，E。；Ruet，P。；门多萨，L。；蒂夫里，D。；Chaouiya，C.，《从逻辑调控图到标准Petri网：反馈电路的动态角色和功能》，计算系统生物学学报VII。计算系统生物学学报VII，LNCS，4230，55-72（2006）
[22] 萨克曼，A。；海纳，M。；Koch，I.，基于Petri网的分析技术在信号转导途径中的应用，BMC生物信息学，7482（2006）
[23] 西蒙，E。；雷米，E。；蒂夫里，D。；Chaouiya，C.，调节代谢途径的定性建模：在色氨酸生物合成中的应用大肠杆菌，生物信息学，21190-196（2006）
[24] Starke，P.H.（2003），INA-集成网络分析仪，柏林洪堡大学
[25] Thomas，R.，遗传控制电路的布尔形式化，J.Theor。《生物学》，42，563-585（1973）
[26] Steggles，L.J。；Banks，R.银行。；O·肖。；Wipat，A.，《遗传调控网络的定性建模和分析：Petri网方法》，生物信息学，23336-343（2007）
[27] 托马斯·R。；蒂夫里，D。；Kaufman，M.，《生物调控网络的动力学行为-I》。反馈回路的生物作用和回路特征状态概念的实际应用，公牛。数学。生物学，57，247-276（1995）·Zbl 0821.92009
[28] 蒂夫里，D。；Thomas，R.，《生物调控网络的动态行为-II》。牛λ噬菌体的免疫控制。数学。生物学，57，277-295（1995）·Zbl 0821.92010号
[29] Zevedei-Oncea，I。；Schuster，S.，基于Petri网理论的代谢网络拓扑分析，《硅生物学》。，3, 0029 (2003)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。