范妮莎:系统生物学中的一种开源混合功能 Petri 网建模和仿真环境。
VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology.
机构信息
Bioinformatics Department, Faculty of Technology, Bielefeld University, 33501 Bielefeld, Germany.
RISE AB, 581 83 Linköping, Sweden.
出版信息
Biosystems. 2021 Dec;210:104531. doi: 10.1016/j.biosystems.2021.104531. Epub 2021 Sep 4.
Petri nets are a common method for modeling and simulation of systems biology application cases. Usually different Petri net concepts (e.g. discrete, hybrid, functional) are demanded depending on the purpose of the application cases. Modeling complex application cases requires a unification of those concepts, e.g. hybrid functional Petri nets (HFPN) and extended hybrid Petri nets (xHPN). Existing tools have certain limitations which motivated the extension of VANESA, an existing open-source editor for biological networks. The extension can be used to model, simulate, and visualize Petri nets based on the xHPN formalism. Moreover, it comprises additional functionality to support and help the user. Complex (kinetic) functions are syntactically analyzed and mathematically rendered. Based on syntax and given physical unit information, modeling errors are revealed. The numerical simulation is seamlessly integrated and executed in the background by the open-source simulation environment OpenModelica utilizing the Modelica library PNlib. Visualization of simulation results for places, transitions, and arcs are useful to investigate and understand the model and its dynamic behavior. The impact of single parameters can be revealed by comparing multiple simulation results. Simulation results, charts, and entire specification of the Petri net model as Latex file can be exported. All these features are shown in the demonstration case. The utilized Petri net formalism xHPN is fully specified and implemented in PNlib. This assures transparency, reliability, and comprehensible simulation results. Thus, the combination of VANESA and OpenModelica shape a unique open-source Petri net environment focusing on systems biology application cases. VANESA is available at: http://agbi.techfak.uni-bielefeld.de/vanesa.
Petri 网是建模和模拟系统生物学应用案例的常用方法。通常根据应用案例的目的,需要不同的 Petri 网概念(例如离散、混合、功能)。建模复杂的应用案例需要这些概念的统一,例如混合功能 Petri 网 (HFPN) 和扩展混合 Petri 网 (xHPN)。现有的工具具有一定的局限性,这促使我们对现有的生物网络开源编辑器 VANESA 进行扩展。该扩展可用于基于 xHPN 形式化模型、模拟和可视化 Petri 网。此外,它还包含了额外的功能来支持和帮助用户。复杂(动力学)函数在语法上进行了分析和数学表示。基于语法和给定的物理单位信息,可以揭示建模错误。数值模拟通过利用开源仿真环境 OpenModelica 中的 Modelica 库 PNlib 在后台无缝集成和执行。对位置、转换和弧的仿真结果进行可视化对于研究和理解模型及其动态行为非常有用。通过比较多个仿真结果,可以揭示单个参数的影响。可以将仿真结果、图表以及 Petri 网模型的整个规范以 Latex 文件的形式导出。所有这些功能都在演示案例中展示。所使用的 Petri 网形式化 xHPN 在 PNlib 中得到了全面的指定和实现。这保证了透明性、可靠性和可理解的仿真结果。因此,VANESA 和 OpenModelica 的结合形成了一个专注于系统生物学应用案例的独特的开源 Petri 网环境。VANESA 可在以下网址获得:http://agbi.techfak.uni-bielefeld.de/vanesa。