Boolean Networks (BN) are established tools for modelling biological systems. However, their analysis is hindered by the state space explosion: the exponentially many states on the variables of a BN. We present an extension of the tool for model reduction ERODE with support for BNs and their reduction with a recent method called Backward Boolean Equivalence (BBE). BBE identifies maximal sets of variables that retain the same value whenever initialized equally. ERODE has been also extended to support importing and exporting between different formats and model repositories, enhancing interoperability with other tools.
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence / Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M; Vandin, A.. - (2022), pp. 1-14. ( CMSB 2022) [10.1007/978-3-031-15034-0_16].
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
Tschaikowski M;
2022
Abstract
Boolean Networks (BN) are established tools for modelling biological systems. However, their analysis is hindered by the state space explosion: the exponentially many states on the variables of a BN. We present an extension of the tool for model reduction ERODE with support for BNs and their reduction with a recent method called Backward Boolean Equivalence (BBE). BBE identifies maximal sets of variables that retain the same value whenever initialized equally. ERODE has been also extended to support importing and exporting between different formats and model repositories, enhancing interoperability with other tools.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
