文件名称:biodivine-lib-param-bn:用于处理参数化布尔网络的Rust库
文件大小:2.12MB
文件格式:ZIP
更新时间:2024-03-08 02:16:08
Rust
Biodivine参数化布尔网络 用于处理参数化布尔网络的Rust库。 支持: 从.aeon和.sbml格式读取/写.aeon网络模型。 基本静态分析,例如单调性检查或网络分解。 网络参数和部分未知的更新功能。 完全符号异步转换图。 (旧式)半符号异步过渡图。 目前处于beta 。 教程正在进行中; 看一下API文档,特别是BooleanNetwork , AsyncGraph和SymbolicAsyncGraph入门。 PBN到颜色图转储 要分析(非常)小型网络,将它们作为显式彩色图转储可能会很有用。 有一个二进制文件。 首先,运行cargo build --release 。 然后,您可以在target/release/dump-graph找到二进制文件。 二进制在标准输入上采用.aeon模型,并将图形转储到标准输出。 因此,要将PBN转换为其彩色的异步过渡图,只需调用