We present the BRE:IN tool, a Backend for Reasoning about Interaction Networks. Our tool supports the framework and methodology originally introduced by the RE:IN tool, where an Abstract Boolean Network (ABN) specifies partial information about the network topology, and experimental observations are used to constrain the ABN, allowing to synthesize consistent models, or prove that no consistent model exists. RE:IN has been used successfully to derive mechanistic models of biological systems allowing to gain new insights into cellular decision-making and to make predictions that were validated experimentally. BRE:IN implements translations of experimental observations to temporal logic and captures the semantics of ABNs as transition systems, enabling to use off-the-shelf model checking algorithms. We make our tool and benchmarks publicly available and demonstrate the utility of the tool, providing speed-up gains for some benchmarks, while also enabling extensions of the experimental observations specification language currently supported in RE:IN by using the rich expressive power of temporal logic.
|Title of host publication||Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Proceedings|
|Editors||Luca Bortolussi, Guido Sanguinetti|
|Number of pages||7|
|State||Published - 2019|
|Event||17th International Conference on Computational Methods in Systems Biology, CMSB 2019 - Trieste, Italy|
Duration: 18 Sep 2019 → 20 Sep 2019
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||17th International Conference on Computational Methods in Systems Biology, CMSB 2019|
|Period||18/09/19 → 20/09/19|
Bibliographical notePublisher Copyright:
© 2019, Springer Nature Switzerland AG.