Ahmad Jamil, Roux Olivier, Bernot Gilles, Comet Jean-Paul
IRCCyN UMR CNRS 6597, BP 92101, 44321 Nantes Cedex 3, France.
Int J Bioinform Res Appl. 2008;4(3):240-62. doi: 10.1504/IJBRA.2008.019573.
In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Rene Thomas. We refine and automatise the use of delays of activation/inhibition in order to specify which variable is more quickly affected by a change of its regulators. The formalism of linear hybrid automata is well suited to allow such refinement. We then use HyTech for two purposes: to find automatically all paths from a specified initial state to another one; to synthesise constraints on the delay parameters in order to follow any specific path.
在本文中，我们基于勒内·托马斯的离散方法，提出了一种对生物调控网络建模的改进方法。我们对激活/抑制延迟的使用进行了细化和自动化，以便确定哪个变量会因其调节因子的变化而更快受到影响。线性混合自动机的形式体系非常适合进行这种细化。然后，我们将HyTech用于两个目的：自动找到从指定初始状态到另一状态的所有路径；合成关于延迟参数的约束条件，以便遵循任何特定路径。
