Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
复制标题
DOI：
10.1016/j.jtbi.2004.04.003
复制
发表时间：
2004-08-07
影响因子：
2
通讯作者：
Guespin, J
中科院分区：
文献类型：
--
作者：
Bernot, G;Comet, JP;Guespin, J
基于Rene托马斯提出的生物调控网络的离散定义，我们提出了一种计算机科学形式化的方法来处理生物调控网络的时间特性，并用计算树逻辑来表示.然后可以建立满足一组给定时间属性的所有模型。我们的方法是说明与铜绿假单胞菌的粘液生产。从计算机科学到生物调控网络的形式化方法的这种应用应该为许多其他富有成效的应用开辟道路。(C)2004爱思唯尔有限公司保留所有权利。
Based on the discrete definition of biological regulatory networks developed by Rene Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications. (C) 2004 Elsevier Ltd. All rights reserved.