Computational approaches in systems biology have become a powerful tool for understanding the fundamental mechanisms of cellular metabolism and regulation. However, the interplay between the regulatory and the metabolic system is still poorly understood. In particular, there is a need for formal mathematical frameworks that allow analyzing metabolism together with dynamic enzyme resources and regulatory events. Here, we introduce a metabolic-regulatory network model (MRN) that allows integrating metabolism with transcriptional regulation, macromolecule production and enzyme resources. Using this model, we show that the dynamic interplay between these different cellular processes can be formalized by a hybrid automaton, combining continuous dynamics and discrete control.

中文翻译：

---

通过混合自动机形式化代谢调节网络

系统生物学中的计算方法已成为了解细胞代谢和调节基本机制的有力工具。然而，调节和代谢系统之间的相互作用仍然知之甚少。特别是，需要正式的数学框架来分析代谢以及动态酶资源和调节事件。在这里，我们介绍了一个代谢调节网络模型 (MRN)，它允许将代谢与转录调节、大分子生产和酶资源相结合。使用这个模型，我们表明这些不同细胞过程之间的动态相互作用可以通过混合自动机形式化，结合连续动态和离散控制。