Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
复制标题
DOI：
10.1093/bioinformatics/bti145
复制
发表时间：
2005-04-01
期刊：
影响因子：
5.8
通讯作者：
Heiner, M
中科院分区：
文献类型：
--
作者：
Koch, I;Junker, BH;Heiner, M
动机：由于代谢网络及其调节的复杂性，形式化建模是提高对这些系统的理解的有用方法。网络建模的一个重要步骤是验证网络模型。 Petri网理论提供了算法和方法，可以直接应用于代谢网络建模和分析，以验证模型。马铃薯块茎中蔗糖和淀粉之间的代谢具有重要的研究意义。即使代谢是库器官中研究得最好的代谢之一，但它还没有被完全理解。结果：我们提供了一种使用 Petri 网理论进行代谢网络模型验证的方法，我们证明了马铃薯块茎中的蔗糖分解途径。我们从代谢网络的分层建模作为 Petri 网开始，并继续分析网络的定性特性。结果描述了网络结构的特征，并深入了解复杂的网络行为。
Motivation: Because of the complexity of metabolic networks and their regulation, formal modelling is a useful method to improve the understanding of these systems. An essential step in network modelling is to validate the network model. Petri net theory provides algorithms and methods, which can be applied directly to metabolic network modelling and analysis in order to validate the model. The metabolism between sucrose and starch in the potato tuber is of great research interest. Even if the metabolism is one of the best studied in sink organs, it is not yet fully understood.Results: We provide an approach for model validation of metabolic networks using Petri net theory, which we demonstrate for the sucrose breakdown pathway in the potato tuber. We start with hierarchical modelling of the metabolic network as a Petri net and continue with the analysis of qualitative properties of the network. The results characterize the net structure and give insights into the complex net behaviour.