Biodivine参数化布尔网络 用于处理参数化布尔网络的Rust库。 支持： 从.aeon和.sbml格式读取/写.aeon网络模型。 基本静态分析，例如单调性检查或网络分解。 网络参数和部分未知的更新功能。 完全符号异步转换图。 （旧式）半符号异步过渡图。 目前处于beta 。 教程正在进行中； 看一下API文档，特别是BooleanNetwork ， AsyncGraph和SymbolicAsyncGraph入门。 PBN到颜色图转储 要分析（非常）小型网络，将它们作为显式彩色